include/machine/interrupt.h

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);