gic_irq_dispatch  735 drivers/irqchip/irq-mips-gic.c 					gic_irq_dispatch);
gic_irq_dispatch  753 drivers/irqchip/irq-mips-gic.c 						gic_irq_dispatch);