Symbol: generic_handle_domain_nmi
drivers/irqchip/irq-gic-v3.c
838
if (generic_handle_domain_nmi(gic_data.domain, irqnr)) {
include/linux/irqdesc.h
201
int generic_handle_domain_nmi(struct irq_domain *domain, irq_hw_number_t hwirq);