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

/seL4-l4v-10.1.1/seL4/src/plat/pc99/machine/
H A Dioapic.c51 static uint32_t ioapic_read(uint32_t ioapic, word_t reg) function
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);
157 ioredtbl_high = ioapic_read(ioapic, IOAPIC_WINDOW) & MASK(IOREDTBL_HIGH_RESERVED_BITS);
169 ioredtbl_state[index] |= ioapic_read(ioapic, IOAPIC_WINDOW) & ~MASK(16);

Completed in 77 milliseconds