Symbol: PEN_IRQ_NUM