KDI_DTSTATE_KMDB_BPT_ACTIVE
ASSERT(kmdb_kdi_dtrace_get_state() == KDI_DTSTATE_KMDB_BPT_ACTIVE);
if (cur == KDI_DTSTATE_KMDB_BPT_ACTIVE)
if (cur == KDI_DTSTATE_KMDB_BPT_ACTIVE)
if (cur == KDI_DTSTATE_KMDB_BPT_ACTIVE)
new = KDI_DTSTATE_KMDB_BPT_ACTIVE;