gic_handle_shared_int  406 drivers/irqchip/irq-mips-gic.c 	gic_handle_shared_int(false);
gic_handle_shared_int  412 drivers/irqchip/irq-mips-gic.c 	gic_handle_shared_int(true);