Symbol: mask_msc_irq