diff options
Diffstat (limited to 'tools/debugger/pdb/Domain.ml')
-rw-r--r-- | tools/debugger/pdb/Domain.ml | 29 |
1 files changed, 13 insertions, 16 deletions
diff --git a/tools/debugger/pdb/Domain.ml b/tools/debugger/pdb/Domain.ml index 700699a958..2701a12ce0 100644 --- a/tools/debugger/pdb/Domain.ml +++ b/tools/debugger/pdb/Domain.ml @@ -21,13 +21,10 @@ let default_context = { domain = 0; execution_domain = 0 } let new_context dom exec_dom = {domain = dom; execution_domain = exec_dom} let set_domain ctx value = - ctx.domain <- value; - print_endline (Printf.sprintf "ctx.domain <- %d" ctx.domain) + ctx.domain <- value let set_execution_domain ctx value = - ctx.execution_domain <- value; - print_endline (Printf.sprintf "ctx.execution_domain <- %d" - ctx.execution_domain) + ctx.execution_domain <- value let get_domain ctx = ctx.domain @@ -39,25 +36,25 @@ let string_of_context ctx = Printf.sprintf "{domain} domain: %d, execution_domain: %d" ctx.domain ctx.execution_domain -external read_registers : context_t -> registers = "read_registers" +external read_registers : context_t -> registers = "dom_read_registers" external write_register : context_t -> register -> int32 -> unit = - "write_register" + "dom_write_register" external read_memory : context_t -> int32 -> int -> int list = - "read_memory" + "dom_read_memory" external write_memory : context_t -> int32 -> int list -> unit = - "write_memory" + "dom_write_memory" -external continue : context_t -> unit = "continue_target" -external step : context_t -> unit = "step_target" +external continue : context_t -> unit = "dom_continue_target" +external step : context_t -> unit = "dom_step_target" external insert_memory_breakpoint : context_t -> int32 -> int -> unit = - "insert_memory_breakpoint" + "dom_insert_memory_breakpoint" external remove_memory_breakpoint : context_t -> int32 -> int -> unit = - "remove_memory_breakpoint" + "dom_remove_memory_breakpoint" -external attach_debugger : int -> int -> unit = "attach_debugger" -external detach_debugger : int -> int -> unit = "detach_debugger" -external pause_target : int -> unit = "pause_target" +external attach_debugger : int -> int -> unit = "dom_attach_debugger" +external detach_debugger : int -> int -> unit = "dom_detach_debugger" +external pause_target : int -> unit = "dom_pause_target" let pause ctx = pause_target ctx.domain |