+static boolean_t
+kdp_breakpoint64_remove(
+ kdp_pkt_t *,
+ int *,
+ unsigned short *
+);
+
+
+static boolean_t
+kdp_reboot(
+ kdp_pkt_t *,
+ int *,
+ unsigned short *
+);
+
+static boolean_t
+kdp_readioport(kdp_pkt_t *, int *, unsigned short *);
+
+static boolean_t
+kdp_writeioport(kdp_pkt_t *, int *, unsigned short *);
+
+static boolean_t
+kdp_readmsr64(kdp_pkt_t *, int *, unsigned short *);
+
+static boolean_t
+kdp_writemsr64(kdp_pkt_t *, int *, unsigned short *);
+
+static boolean_t
+kdp_dumpinfo(kdp_pkt_t *, int *, unsigned short *);