Symbol: PSI_IRQ