restart_nmi        63 arch/x86/include/asm/nmi.h void restart_nmi(void);
restart_nmi       743 arch/x86/kernel/alternative.c 	restart_nmi();