+ );
+
+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 */);
+
+vm_map_offset_t
+kdp_core_start_addr(void);