Searched refs:IOREDTBL_HIGH (Results 1 - 1 of 1) sorted by relevance

/seL4-l4v-10.1.1/seL4/src/plat/pc99/machine/
H A Dioapic.c25 #define IOREDTBL_HIGH(reg) (IOREDTBL_LOW(reg) + 1) macro
66 ioapic_write(ioapic, IOAPIC_REGSEL, IOREDTBL_HIGH(i));
156 ioapic_write(ioapic, IOAPIC_REGSEL, IOREDTBL_HIGH(pin));

Completed in 26 milliseconds