Searched refs:ioapic_write (Results 1 - 1 of 1) sorted by relevance
/seL4-refos-master/kernel/src/plat/pc99/machine/ |
H A D | ioapic.c | 42 static void ioapic_write(uint32_t ioapic, word_t reg, uint32_t value) function 62 ioapic_write(ioapic, IOAPIC_REGSEL, IOREDTBL_HIGH(i)); 63 ioapic_write(ioapic, IOAPIC_WINDOW, (ioapic_read(ioapic, 67 ioapic_write(ioapic, IOAPIC_REGSEL, IOREDTBL_LOW(i)); 70 ioapic_write(ioapic, IOAPIC_WINDOW, ioredtbl_state[i]); 102 ioapic_write(ioapic, IOAPIC_REGSEL, IOREDTBL_LOW(pin)); 103 ioapic_write(ioapic, IOAPIC_WINDOW, ioredtbl_state[index]); 153 ioapic_write(ioapic, IOAPIC_REGSEL, IOREDTBL_HIGH(pin)); 157 ioapic_write(ioapic, IOAPIC_WINDOW, ioredtbl_high); 164 ioapic_write(ioapi [all...] |
Completed in 20 milliseconds