Symbol: nmi_call_kdb
sys/x86/include/x86_var.h
153
void nmi_call_kdb(u_int cpu, u_int type, struct trapframe *frame);
sys/x86/x86/cpu_machdep.c
1114
nmi_call_kdb(PCPU_GET(cpuid), T_NMI, frame);
sys/x86/x86/mp_x86.c
1508
nmi_call_kdb(cpu, type, frame);