Symbol: grpci1_mask_irq