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

/seL4-refos-master/kernel/src/plat/pc99/machine/
H A Dioapic.c23 #define IOREDTBL_LOW_INTERRUPT_MASK BIT(16) macro
66 ioredtbl_state[i] = IOREDTBL_LOW_INTERRUPT_MASK;
95 ioredtbl_state[index] |= IOREDTBL_LOW_INTERRUPT_MASK;
97 ioredtbl_state[index] &= ~IOREDTBL_LOW_INTERRUPT_MASK;
159 ioredtbl_state[index] = IOREDTBL_LOW_INTERRUPT_MASK |

Completed in 69 milliseconds