gic_handle_local_int  405 drivers/irqchip/irq-mips-gic.c 	gic_handle_local_int(false);
gic_handle_local_int  411 drivers/irqchip/irq-mips-gic.c 	gic_handle_local_int(true);