Symbol: psc_irq