DPI_STATE_LOST
if (kmdb_dpi_state != DPI_STATE_LOST) {
kmdb_dpi_set_state(DPI_STATE_LOST, 0);
case DPI_STATE_LOST: