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

/seL4-l4v-10.1.1/seL4/src/plat/pc99/machine/
H A Dioapic.c41 static uint32_t ioredtbl_state[IOAPIC_IRQ_LINES * CONFIG_MAX_NUM_IOAPIC]; variable
69 ioredtbl_state[i] = IOREDTBL_LOW_INTERRUPT_MASK;
72 ioredtbl_state[i] |= ioapic_read(ioapic, IOAPIC_WINDOW) & ~MASK(16);
73 ioapic_write(ioapic, IOAPIC_WINDOW, ioredtbl_state[i]);
98 ioredtbl_state[index] |= IOREDTBL_LOW_INTERRUPT_MASK;
100 ioredtbl_state[index] &= ~IOREDTBL_LOW_INTERRUPT_MASK;
103 assert((ioredtbl_state[index] & 0xff) != 0);
106 ioapic_write(ioapic, IOAPIC_WINDOW, ioredtbl_state[index]);
162 ioredtbl_state[index] = IOREDTBL_LOW_INTERRUPT_MASK |
169 ioredtbl_state[inde
[all...]

Completed in 82 milliseconds