default_do_nmi    420 arch/x86/kernel/nmi.c NOKPROBE_SYMBOL(default_do_nmi);
default_do_nmi    542 arch/x86/kernel/nmi.c 		default_do_nmi(regs);