Symbol: grpci2_mask_irq