Searched refs:ioapic_write (Results 1 - 1 of 1) sorted by relevance
| /seL4-l4v-10.1.1/seL4/src/plat/pc99/machine/ |
| H A D | ioapic.c | 46 static void ioapic_write(uint32_t ioapic, word_t reg, uint32_t value) function
66 ioapic_write(ioapic, IOAPIC_REGSEL, IOREDTBL_HIGH(i));
67 ioapic_write(ioapic, IOAPIC_WINDOW, (ioapic_read(ioapic, IOAPIC_WINDOW) & MASK(IOREDTBL_HIGH_RESERVED_BITS)) | (delivery_cpu << IOREDTBL_HIGH_RESERVED_BITS));
70 ioapic_write(ioapic, IOAPIC_REGSEL, IOREDTBL_LOW(i));
73 ioapic_write(ioapic, IOAPIC_WINDOW, ioredtbl_state[i]);
105 ioapic_write(ioapic, IOAPIC_REGSEL, IOREDTBL_LOW(pin));
106 ioapic_write(ioapic, IOAPIC_WINDOW, ioredtbl_state[index]);
156 ioapic_write(ioapic, IOAPIC_REGSEL, IOREDTBL_HIGH(pin));
160 ioapic_write(ioapic, IOAPIC_WINDOW, ioredtbl_high);
167 ioapic_write(ioapi
[all...] |
Completed in 83 milliseconds