+} KDP_PACKED kdp_writemem_reply_t;
+
+/*
+ * KDP_WRITEMEM64
+ */
+typedef struct { /* KDP_WRITEMEM64 request */
+ kdp_hdr_t hdr;
+ uint64_t address;
+ uint32_t nbytes;
+ char data[0];
+} KDP_PACKED kdp_writemem64_req_t;
+
+typedef struct { /* KDP_WRITEMEM64 reply */
+ kdp_hdr_t hdr;
+ kdp_error_t error;
+} KDP_PACKED kdp_writemem64_reply_t;
+
+/*
+ * KDP_WRITEPHYSMEM64
+ */
+typedef struct { /* KDP_WRITEPHYSMEM64 request */
+ kdp_hdr_t hdr;
+ uint64_t address;
+ uint32_t nbytes;
+ uint16_t lcpu;
+ char data[0];
+} KDP_PACKED kdp_writephysmem64_req_t;
+
+typedef struct { /* KDP_WRITEPHYSMEM64 reply */
+ kdp_hdr_t hdr;
+ kdp_error_t error;
+} KDP_PACKED kdp_writephysmem64_reply_t;
+
+/*
+ * KDP_WRITEIOPORT
+ */
+typedef struct { /* KDP_WRITEIOPORT request */
+ kdp_hdr_t hdr;
+ uint16_t lcpu;
+ uint16_t address;
+ uint16_t nbytes;
+ char data[0];
+} KDP_PACKED kdp_writeioport_req_t;
+
+typedef struct { /* KDP_WRITEIOPORT reply */
+ kdp_hdr_t hdr;
+ kdp_error_t error;
+} KDP_PACKED kdp_writeioport_reply_t;
+
+/*
+ * KDP_READIOPORT
+ */
+typedef struct { /* KDP_READIOPORT request */
+ kdp_hdr_t hdr;
+ uint16_t lcpu;
+ uint16_t address;
+ uint16_t nbytes;
+} KDP_PACKED kdp_readioport_req_t;
+
+typedef struct { /* KDP_READIOPORT reply */
+ kdp_hdr_t hdr;
+ kdp_error_t error;
+ char data[0];
+} KDP_PACKED kdp_readioport_reply_t;
+
+
+/*
+ * KDP_WRITEMSR64
+ */
+typedef struct { /* KDP_WRITEMSR64 request */
+ kdp_hdr_t hdr;
+ uint32_t address;
+ uint16_t lcpu;
+ char data[0];
+} KDP_PACKED kdp_writemsr64_req_t;
+
+typedef struct { /* KDP_WRITEMSR64 reply */
+ kdp_hdr_t hdr;
+ kdp_error_t error;
+} KDP_PACKED kdp_writemsr64_reply_t;
+
+/*
+ * KDP_READMSR64
+ */
+typedef struct { /* KDP_READMSR64 request */
+ kdp_hdr_t hdr;
+ uint32_t address;
+ uint16_t lcpu;
+} KDP_PACKED kdp_readmsr64_req_t;
+
+typedef struct { /* KDP_READMSR64 reply */
+ kdp_hdr_t hdr;
+ kdp_error_t error;
+ char data[0];
+} KDP_PACKED kdp_readmsr64_reply_t;
+