kmdb_dpi_get_state
if (kmdb_dpi_get_state(NULL) == DPI_STATE_INIT) {
if (kmdb_dpi_get_state(NULL) == DPI_STATE_INIT) {
extern int kmdb_dpi_get_state(int *);
ASSERT(kmdb_dpi_get_state(NULL) == DPI_STATE_INIT);
if (kmdb_dpi_get_state(NULL) == DPI_STATE_INIT)
switch ((state = kmdb_dpi_get_state(NULL))) {
state = kmdb_dpi_get_state(&why);
if (!(kmdb_dpi_get_state(&why) == DPI_STATE_FAULTED &&
if (kmdb_dpi_get_state(NULL) == DPI_STATE_INIT)