Lines Matching refs:irq_t
29 irq_t irq;
79 exception_t invokeIRQControl(irq_t irq, cte_t *handlerSlot, cte_t *controlSlot)
87 exception_t decodeIRQHandlerInvocation(word_t invLabel, irq_t irq,
136 void invokeIRQHandler_AckIRQ(irq_t irq)
151 void invokeIRQHandler_SetIRQHandler(irq_t irq, cap_t cap, cte_t *slot)
161 void invokeIRQHandler_ClearIRQHandler(irq_t irq)
170 void deletingIRQHandler(irq_t irq)
179 void deletedIRQHandler(irq_t irq)
184 void handleInterrupt(irq_t irq)
257 bool_t isIRQActive(irq_t irq)
262 void setIRQState(irq_state_t irqState, irq_t irq)