handle_percpu_devid_fasteoi_nmi  463 drivers/irqchip/irq-gic-v3.c 			desc->handle_irq = handle_percpu_devid_fasteoi_nmi;
handle_percpu_devid_fasteoi_nmi  623 include/linux/irq.h extern void handle_percpu_devid_fasteoi_nmi(struct irq_desc *desc);