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

/seL4-l4v-10.1.1/seL4/src/plat/pc99/machine/
H A Dioapic.c27 #define IOREDTBL_LOW_INTERRUPT_MASK BIT(16) macro
69 ioredtbl_state[i] = IOREDTBL_LOW_INTERRUPT_MASK;
98 ioredtbl_state[index] |= IOREDTBL_LOW_INTERRUPT_MASK;
100 ioredtbl_state[index] &= ~IOREDTBL_LOW_INTERRUPT_MASK;
162 ioredtbl_state[index] = IOREDTBL_LOW_INTERRUPT_MASK |

Completed in 74 milliseconds