IRQ_SW_CHANNEL0_ID
(enum virq_id)(IRQ_SW_CHANNEL0_ID + IRQ_SW_CHANNEL_OFFSET),
irq_sw_channel_id_t irq_id = IRQ_SW_CHANNEL0_ID;