Symbol: ks_irq