+
+mach_vm_size_t
+kdp_machine_vm_read( mach_vm_address_t, caddr_t, mach_vm_size_t);
+
+mach_vm_size_t
+kdp_machine_vm_write( caddr_t, mach_vm_address_t, mach_vm_size_t);
+
+mach_vm_size_t
+kdp_machine_phys_read(kdp_readphysmem64_req_t *rq, caddr_t /* data */,
+ uint16_t /* lcpu */);
+
+mach_vm_size_t
+kdp_machine_phys_write(kdp_writephysmem64_req_t *rq, caddr_t /* data */,
+ uint16_t /* lcpu */);
+
+int
+kdp_machine_ioport_read(kdp_readioport_req_t *, caddr_t /* data */, uint16_t /* lcpu */);
+
+int
+kdp_machine_ioport_write(kdp_writeioport_req_t *, caddr_t /* data */, uint16_t /* lcpu */);
+
+int
+kdp_machine_msr64_read(kdp_readmsr64_req_t *, caddr_t /* data */, uint16_t /* lcpu */);
+
+int
+kdp_machine_msr64_write(kdp_writemsr64_req_t *, caddr_t /* data */, uint16_t /* lcpu */);
+