Symbol: smi_ir_irq