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

/seL4-refos-master/kernel/src/plat/pc99/machine/
H A Dioapic.c20 #define IOREDTBL_LOW(reg) (IOAPIC_REG_IOREDTBL + (reg) * 2) macro
21 #define IOREDTBL_HIGH(reg) (IOREDTBL_LOW(reg) + 1)
67 ioapic_write(ioapic, IOAPIC_REGSEL, IOREDTBL_LOW(i));
102 ioapic_write(ioapic, IOAPIC_REGSEL, IOREDTBL_LOW(pin));
164 ioapic_write(ioapic, IOAPIC_REGSEL, IOREDTBL_LOW(pin));

Completed in 20 milliseconds