Symbol: kmdb_dpi_set_state
usr/src/cmd/mdb/common/kmdb/kmdb_dpi.h
118
extern void kmdb_dpi_set_state(int, int);
usr/src/cmd/mdb/common/kmdb/kmdb_fault.c
130
kmdb_dpi_set_state(DPI_STATE_LOST, 0);
usr/src/cmd/mdb/common/kmdb/kmdb_main.c
380
kmdb_dpi_set_state(DPI_STATE_STOPPED, 0);
usr/src/cmd/mdb/intel/kmdb/kmdb_dpi_isadep.c
121
kmdb_dpi_set_state(DPI_STATE_FAULTED,
usr/src/cmd/mdb/intel/kmdb/kmdb_dpi_isadep.c
125
kmdb_dpi_set_state(DPI_STATE_STOPPED, 0);
usr/src/cmd/mdb/intel/kmdb/kmdb_dpi_isadep.c
128
kmdb_dpi_set_state(DPI_STATE_FAULTED,