Lines Matching refs:irq_t
14 * irq_t is an identifier that represents a hardware interrupt.
15 * irq handler capabilities refer to an irq_t which is then used by the
16 * kernel to track irq state. An irq_t is also used to interface with an
18 * For most configurations an irq_t is a word_t type and the irq_t values
21 * However on SMP configurations where there can be multiple irq_t identifiers
23 * irq_t cannot be assumed to be only a hardware irq number.
24 * In this case, irq_t can be defined as a struct containing additional information.
27 * CORE_IRQ_TO_IRQT: converts from a core id and hw irq number to an irq_t
28 * IRQT_TO_IDX: converts an irq_t to an index in the irq cnode. It is also used
29 * to encode the irq_t as a single word_t type for sending over IPIs.
30 * IDX_TO_IRQT: converts an index in the irq cnode to an irq_t
31 * IRQT_TO_CORE: extracts the core out of an irq_t
32 * IRQT_TO_IRQL extracts a hw irq out of an irq_t.
42 } irq_t;
44 typedef word_t irq_t;
63 static inline irq_t getActiveIRQ(void);
85 static inline void maskInterrupt(bool_t disable, irq_t irq);
98 static inline void ackInterrupt(irq_t irq);
117 static inline void handleReservedIRQ(irq_t irq);