Symbol: default_do_nmi
arch/x86/kernel/nmi.c
588
default_do_nmi(regs);
arch/x86/kernel/nmi.c
729
default_do_nmi(regs);