N_virq_id
if (IRQ_NESTING_ID[ID] != N_virq_id) {
if ((IRQ_NESTING_ID[ID] != N_virq_id) && !any_irq_channel_enabled(ID)) {
N_virq_id,
enum virq_id irq = N_virq_id;