Symbol: N_ISYS_IRQ_ID