Searched refs:IOAPIC_REGSEL (Results 1 - 1 of 1) sorted by relevance
/seL4-l4v-10.1.1/seL4/src/plat/pc99/machine/ |
H A D | ioapic.c | 18 #define IOAPIC_REGSEL 0x00 macro 66 ioapic_write(ioapic, IOAPIC_REGSEL, IOREDTBL_HIGH(i)); 70 ioapic_write(ioapic, IOAPIC_REGSEL, IOREDTBL_LOW(i)); 105 ioapic_write(ioapic, IOAPIC_REGSEL, IOREDTBL_LOW(pin)); 156 ioapic_write(ioapic, IOAPIC_REGSEL, IOREDTBL_HIGH(pin)); 167 ioapic_write(ioapic, IOAPIC_REGSEL, IOREDTBL_LOW(pin));
|
Completed in 27 milliseconds