gic_deactivate_unhandled  612 drivers/irqchip/irq-gic-v3.c 		gic_deactivate_unhandled(irqnr);
gic_deactivate_unhandled  651 drivers/irqchip/irq-gic-v3.c 			gic_deactivate_unhandled(irqnr);