Symbol: kmdb_dpi_get_cpu_state
usr/src/cmd/mdb/common/kmdb/kmdb_dpi.c
202
if (kmdb_dpi_get_cpu_state(tgt_cpuid) < 0)
usr/src/cmd/mdb/common/kmdb/kmdb_dpi.h
97
extern int kmdb_dpi_get_cpu_state(int);