KDI_DTSET_KMDB_BPT_DEACTIVATE
(void) kmdb_kdi_dtrace_set(KDI_DTSET_KMDB_BPT_DEACTIVATE);
case KDI_DTSET_KMDB_BPT_DEACTIVATE:
