xen_xennmi         41 arch/x86/include/asm/traps.h asmlinkage void xen_xennmi(void);
xen_xennmi        611 arch/x86/xen/enlighten_pv.c 	{ nmi,                         xen_xennmi,                      true },