Searched refs:nmi_call_kdb_smp (Results 1 – 3 of 3) sorted by relevance
143 void nmi_call_kdb_smp(u_int type, struct trapframe *frame);
845 nmi_call_kdb_smp(type, frame); in nmi_handle_intr()
1439 nmi_call_kdb_smp(u_int type, struct trapframe *frame) in nmi_call_kdb_smp() function