Symbol: kmdb_dpi_reenter
usr/src/cmd/mdb/common/kmdb/kaif_start.c
106
switch (kmdb_dpi_reenter()) {
usr/src/cmd/mdb/common/kmdb/kmdb_dpi.h
141
extern int kmdb_dpi_reenter(void);