Symbol: reg_irq_type1