Searched refs:IRQInactive (Results 1 - 5 of 5) sorted by relevance
/seL4-l4v-master/seL4/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-l4v-master/seL4/src/arch/x86/kernel/ |
H A D | boot.c | 51 setIRQState(IRQInactive, i); 57 setIRQState(IRQInactive, i);
|
/seL4-l4v-master/seL4/include/object/ |
H A D | structures.h | 20 IRQInactive = 0, enumerator in enum:irq_state
|
/seL4-l4v-master/seL4/src/arch/riscv/kernel/ |
H A D | boot.c | 108 setIRQState(IRQInactive, i);
|
/seL4-l4v-master/seL4/src/arch/arm/kernel/ |
H A D | boot.c | 98 setIRQState(IRQInactive, CORE_IRQ_TO_IRQT(0, i));
|
Completed in 108 milliseconds