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

/seL4-camkes-master/kernel/src/object/
H A Dinterrupt.c82 cteInsert(cap_irq_handler_cap_new(IRQT_TO_IDX(irq)), controlSlot, handlerSlot);
143 doRemoteMaskPrivateInterrupt(IRQT_TO_CORE(irq), false, IRQT_TO_IDX(irq));
155 irqSlot = intStateIRQNode + IRQT_TO_IDX(irq);
165 irqSlot = intStateIRQNode + IRQT_TO_IDX(irq);
174 slot = intStateIRQNode + IRQT_TO_IDX(irq);
196 switch (intStateIRQTable[IRQT_TO_IDX(irq)]) {
200 cap = intStateIRQNode[IRQT_TO_IDX(irq)].cap;
259 return intStateIRQTable[IRQT_TO_IDX(irq)] != IRQInactive;
264 intStateIRQTable[IRQT_TO_IDX(irq)] = irqState;
267 doRemoteMaskPrivateInterrupt(IRQT_TO_CORE(irq), irqState == IRQInactive, IRQT_TO_IDX(ir
[all...]
/seL4-camkes-master/kernel/include/machine/
H A Dinterrupt.h28 * IRQT_TO_IDX: converts an irq_t to an index in the irq cnode. It is also used
46 #define IRQT_TO_IDX(irq) (irq) macro
/seL4-camkes-master/kernel/include/arch/arm/arch/machine/
H A Dgic_common.h45 #define IRQT_TO_IDX(_irq) (HW_IRQ_IS_PPI(_irq.irq) ? \ macro
/seL4-camkes-master/kernel/src/machine/
H A Dcapdl.c330 cap_t cap = intStateIRQNode[IRQT_TO_IDX(irq)].cap;
358 cap_t ntfn_cap = intStateIRQNode[IRQT_TO_IDX(irq)].cap;

Completed in 34 milliseconds