Symbol: restart_nmi
arch/x86/include/asm/nmi.h
105
void restart_nmi(void);
arch/x86/kernel/alternative.c
2459
restart_nmi();