Searched refs:IRQInactive (Results 1 - 5 of 5) sorted by relevance
| /seL4-test-master/kernel/src/object/ |
| H A D | interrupt.c | 181 setIRQState(IRQInactive, irq);
237 case IRQInactive:
259 return intStateIRQTable[IRQT_TO_IDX(irq)] != IRQInactive;
267 doRemoteMaskPrivateInterrupt(IRQT_TO_CORE(irq), irqState == IRQInactive, IRQT_TO_IDX(irq)); local
271 maskInterrupt(irqState == IRQInactive, irq);
|
| /seL4-test-master/kernel/src/arch/x86/kernel/ |
| H A D | boot.c | 51 setIRQState(IRQInactive, i);
57 setIRQState(IRQInactive, i);
|
| /seL4-test-master/kernel/include/object/ |
| H A D | structures.h | 20 IRQInactive = 0, enumerator in enum:irq_state
|
| /seL4-test-master/kernel/src/arch/riscv/kernel/ |
| H A D | boot.c | 108 setIRQState(IRQInactive, i);
|
| /seL4-test-master/kernel/src/arch/arm/kernel/ |
| H A D | boot.c | 98 setIRQState(IRQInactive, CORE_IRQ_TO_IRQT(0, i));
|
Completed in 111 milliseconds