Lines Matching refs:irq_t
18 exception_t invokeIRQControl(irq_t irq, cte_t *handlerSlot, cte_t *controlSlot);
19 exception_t decodeIRQHandlerInvocation(word_t invLabel, irq_t irq,
21 void invokeIRQHandler_AckIRQ(irq_t irq);
22 void invokeIRQHandler_SetIRQHandler(irq_t irq, cap_t cap, cte_t *slot);
23 void invokeIRQHandler_ClearIRQHandler(irq_t irq);
24 void deletingIRQHandler(irq_t irq);
25 void deletedIRQHandler(irq_t irq);
26 void handleInterrupt(irq_t irq);
27 bool_t isIRQActive(irq_t irq);
28 void setIRQState(irq_state_t irqState, irq_t irq);