Symbol: kmdb_dpi_handle_fault
usr/src/cmd/mdb/intel/kmdb/kaif.c
784
kmdb_dpi_handle_fault((kreg_t)trapno, (kreg_t)pc,
usr/src/cmd/mdb/intel/kmdb/kmdb_dpi_isadep.h
42
extern void kmdb_dpi_handle_fault(kreg_t, kreg_t, kreg_t, int);