Symbol: handle_fasteoi_nmi
drivers/irqchip/irq-gic-v3.c
618
desc->handle_irq = handle_fasteoi_nmi;
include/linux/irq.h
657
extern void handle_fasteoi_nmi(struct irq_desc *desc);
kernel/irq/chip.c
807
EXPORT_SYMBOL_GPL(handle_fasteoi_nmi);