nmi_restart       522 arch/x86/kernel/nmi.c nmi_restart:
nmi_restart       556 arch/x86/kernel/nmi.c 		goto nmi_restart;