Symbol: isys_irq_ID_t