9210 remove KMDB branch debugging support
9211 ::crregs could do with cr2/cr3 support
9209 ::ttrace should be able to filter by thread
Reviewed by: Patrick Mooney <patrick.mooney@joyent.com>
Reviewed by: Yuri Pankov <yuripv@yuripv.net>

@@ -19,17 +19,17 @@
  * CDDL HEADER END
  */
 /*
  * Copyright 2007 Sun Microsystems, Inc.  All rights reserved.
  * Use is subject to license terms.
+ *
+ * Copyright 2018 Joyent, Inc.
  */
 
 #ifndef _KMDB_DPI_ISADEP_H
 #define _KMDB_DPI_ISADEP_H
 
-#pragma ident   "%Z%%M% %I%     %E% SMI"
-
 #ifndef _ASM
 #include <mdb/mdb_isautil.h>
 #include <sys/kdi_machimpl.h>
 #endif
 

@@ -41,14 +41,10 @@
 
 extern void kmdb_dpi_handle_fault(kreg_t, kreg_t, kreg_t, int);
 
 extern void kmdb_dpi_reboot(void) __NORETURN;
 
-extern void kmdb_dpi_msr_add(const kdi_msr_t *);
-extern uint64_t kmdb_dpi_msr_get(uint_t);
-extern uint64_t kmdb_dpi_msr_get_by_cpu(int, uint_t);
-
 #endif /* _ASM */
 
 #ifdef __cplusplus
 }
 #endif