restart_nmi       458 arch/x86/kernel/alternative.c 	restart_nmi();
restart_nmi        79 include/asm-x86/nmi.h void restart_nmi(void);