handle_fasteoi_nmi  466 drivers/irqchip/irq-gic-v3.c 		desc->handle_irq = handle_fasteoi_nmi;
handle_fasteoi_nmi  622 include/linux/irq.h extern void handle_fasteoi_nmi(struct irq_desc *desc);
handle_fasteoi_nmi  769 kernel/irq/chip.c EXPORT_SYMBOL_GPL(handle_fasteoi_nmi);