Symbol: gic_handle_local_int
drivers/irqchip/irq-mips-gic.c
577
gic_handle_local_int(false);
drivers/irqchip/irq-mips-gic.c
583
gic_handle_local_int(true);