KDI_DTSET_KMDB_BPT_ACTIVATE
(void) kmdb_kdi_dtrace_set(KDI_DTSET_KMDB_BPT_ACTIVATE);
case KDI_DTSET_KMDB_BPT_ACTIVATE:
