Symbol: kmdb_fault
usr/src/cmd/mdb/common/kmdb/kmdb_fault.h
36
extern void kmdb_fault(kreg_t, kreg_t, kreg_t, int);
usr/src/cmd/mdb/intel/kmdb/kmdb_dpi_isadep.c
65
kmdb_fault(trapno, pc, sp, cpuid);