Symbol: MPEII_NUM_LOCAL_IRQ