write_gic_rmask 180 drivers/irqchip/irq-mips-gic.c write_gic_rmask(intr); write_gic_rmask 798 drivers/irqchip/irq-mips-gic.c write_gic_rmask(i);