Searched refs:IOAPIC_WINDOW (Results 1 - 1 of 1) sorted by relevance
| /seL4-refos-master/kernel/src/plat/pc99/machine/ |
| H A D | ioapic.c | 15 #define IOAPIC_WINDOW 0x10 macro
63 ioapic_write(ioapic, IOAPIC_WINDOW, (ioapic_read(ioapic,
64 IOAPIC_WINDOW) & MASK(IOREDTBL_HIGH_RESERVED_BITS)) | (delivery_cpu << IOREDTBL_HIGH_RESERVED_BITS));
69 ioredtbl_state[i] |= ioapic_read(ioapic, IOAPIC_WINDOW) & ~MASK(16);
70 ioapic_write(ioapic, IOAPIC_WINDOW, ioredtbl_state[i]);
103 ioapic_write(ioapic, IOAPIC_WINDOW, ioredtbl_state[index]);
154 ioredtbl_high = ioapic_read(ioapic, IOAPIC_WINDOW) & MASK(IOREDTBL_HIGH_RESERVED_BITS);
157 ioapic_write(ioapic, IOAPIC_WINDOW, ioredtbl_high);
166 ioredtbl_state[index] |= ioapic_read(ioapic, IOAPIC_WINDOW) & ~MASK(16);
167 ioapic_write(ioapic, IOAPIC_WINDOW, ioredtbl_stat
[all...] |
Completed in 23 milliseconds