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

/seL4-refos-master/kernel/src/plat/pc99/machine/
H A Dioapic.c37 static uint32_t ioredtbl_state[IOAPIC_IRQ_LINES * CONFIG_MAX_NUM_IOAPIC]; variable
66 ioredtbl_state[i] = IOREDTBL_LOW_INTERRUPT_MASK;
69 ioredtbl_state[i] |= ioapic_read(ioapic, IOAPIC_WINDOW) & ~MASK(16);
70 ioapic_write(ioapic, IOAPIC_WINDOW, ioredtbl_state[i]);
95 ioredtbl_state[index] |= IOREDTBL_LOW_INTERRUPT_MASK;
97 ioredtbl_state[index] &= ~IOREDTBL_LOW_INTERRUPT_MASK;
100 assert((ioredtbl_state[index] & 0xff) != 0);
103 ioapic_write(ioapic, IOAPIC_WINDOW, ioredtbl_state[index]);
159 ioredtbl_state[index] = IOREDTBL_LOW_INTERRUPT_MASK |
166 ioredtbl_state[inde
[all...]

Completed in 46 milliseconds