Symbol: ipi_nmi_handler
sys/x86/include/x86_smp.h
103
int ipi_nmi_handler(void);
sys/x86/x86/cpu_machdep.c
1086
if (ipi_nmi_handler() == 0)