DPI_STATE_INIT
if (kmdb_dpi_get_state(NULL) == DPI_STATE_INIT) {
if (kmdb_dpi_get_state(NULL) == DPI_STATE_INIT) {
kmdb_dpi_state = DPI_STATE_INIT;
ASSERT(kmdb_dpi_get_state(NULL) == DPI_STATE_INIT);
if (kmdb_dpi_get_state(NULL) == DPI_STATE_INIT)
case DPI_STATE_INIT:
if (kmdb_dpi_get_state(NULL) == DPI_STATE_INIT)