Searched defs:buffer_head (Results 1 - 2 of 2) sorted by relevance
| /vbox/src/VBox/Devices/PC/BIOS/ |
| H A D | keyboard.c | 312 uint16_t buffer_start, buffer_end, buffer_head, buffer_tail, temp_tail; local
322 buffer_head = read_word(0x0040, 0x001A);
330 if (buffer_tail == buffer_head)
540 uint16_t buffer_start, buffer_end, buffer_head, buffer_tail; local
551 buffer_head = read_word(0x0040, 0x001a);
554 if (buffer_head != buffer_tail) {
555 acode = read_byte(0x0040, buffer_head);
556 scode = read_byte(0x0040, buffer_head+1);
562 buffer_head += 2;
563 if (buffer_head >
[all...] |
| /vbox/src/VBox/Devices/PC/ipxe/src/drivers/net/ |
| H A D | etherfabric_nic.h | 186 int buffer_head; member in struct:efab_nic
|
Completed in 5604 milliseconds