Searched refs:IOAPIC_WINDOW (Results 1 - 1 of 1) sorted by relevance
/seL4-l4v-10.1.1/seL4/src/plat/pc99/machine/ |
H A D | ioapic.c | 19 #define IOAPIC_WINDOW 0x10 macro 67 ioapic_write(ioapic, IOAPIC_WINDOW, (ioapic_read(ioapic, IOAPIC_WINDOW) & MASK(IOREDTBL_HIGH_RESERVED_BITS)) | (delivery_cpu << IOREDTBL_HIGH_RESERVED_BITS)); 72 ioredtbl_state[i] |= ioapic_read(ioapic, IOAPIC_WINDOW) & ~MASK(16); 73 ioapic_write(ioapic, IOAPIC_WINDOW, ioredtbl_state[i]); 106 ioapic_write(ioapic, IOAPIC_WINDOW, ioredtbl_state[index]); 157 ioredtbl_high = ioapic_read(ioapic, IOAPIC_WINDOW) & MASK(IOREDTBL_HIGH_RESERVED_BITS); 160 ioapic_write(ioapic, IOAPIC_WINDOW, ioredtbl_high); 169 ioredtbl_state[index] |= ioapic_read(ioapic, IOAPIC_WINDOW) & ~MASK(16); 170 ioapic_write(ioapic, IOAPIC_WINDOW, ioredtbl_stat [all...] |
Completed in 45 milliseconds