virq_id
static inline irq_ID_t virq_get_irq_id(const enum virq_id irq_ID,
const enum virq_id irq_ID,
enum virq_id *irq_id)
if (IRQ_NESTING_ID[ID] == (enum virq_id)idx) {
*irq_id = (enum virq_id)idx;
const enum virq_id irq_ID,
static enum virq_id IRQ_NESTING_ID[N_IRQ_ID] = {
const enum virq_id irq_ID,
enum virq_id *irq_id);
(enum virq_id)(IRQ_SW_CHANNEL0_ID + IRQ_SW_CHANNEL_OFFSET),
(enum virq_id)(IRQ_SW_CHANNEL1_ID + IRQ_SW_CHANNEL_OFFSET),
enum virq_id irq;
enum virq_id irq = N_virq_id;