Symbol: DPI_STATE_FAULTED
usr/src/cmd/mdb/common/kmdb/kmdb_kvm.c
1380
case DPI_STATE_FAULTED:
usr/src/cmd/mdb/common/kmdb/kmdb_kvm.c
1873
return (state == DPI_STATE_FAULTED && why == DPI_STATE_WHY_BKPT &&
usr/src/cmd/mdb/common/kmdb/kmdb_kvm.c
2054
if (!(kmdb_dpi_get_state(&why) == DPI_STATE_FAULTED &&
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
128
kmdb_dpi_set_state(DPI_STATE_FAULTED,