Symbol: nmi_call_kdb_smp
sys/x86/include/x86_var.h
154
void nmi_call_kdb_smp(u_int type, struct trapframe *frame);
sys/x86/x86/cpu_machdep.c
1110
nmi_call_kdb_smp(T_NMI, frame);