Searched refs:IOAPIC_REG_IOREDTBL (Results 1 - 1 of 1) sorted by relevance
| /seL4-refos-master/kernel/src/plat/pc99/machine/ | ||
| H A D | ioapic.c | 18 #define IOAPIC_REG_IOREDTBL 0x10 macro 20 #define IOREDTBL_LOW(reg) (IOAPIC_REG_IOREDTBL + (reg) * 2) |
Completed in 19 milliseconds