src/object/interrupt.c

82     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(irq));