handle_domain_nmi  610 drivers/irqchip/irq-gic-v3.c 	err = handle_domain_nmi(gic_data.domain, irqnr, regs);
handle_domain_nmi  178 include/linux/irqdesc.h int handle_domain_nmi(struct irq_domain *domain, unsigned int hwirq,