diff options
Diffstat (limited to 'tools/debugger/pdb/Domain.ml')
| -rw-r--r-- | tools/debugger/pdb/Domain.ml | 61 |
1 files changed, 0 insertions, 61 deletions
diff --git a/tools/debugger/pdb/Domain.ml b/tools/debugger/pdb/Domain.ml deleted file mode 100644 index dc3fd2fb30..0000000000 --- a/tools/debugger/pdb/Domain.ml +++ /dev/null @@ -1,61 +0,0 @@ -(** Domain.ml - * - * domain context implementation - * - * @author copyright (c) 2005 alex ho - * @see <www.cl.cam.ac.uk/netos/pdb> pervasive debugger - * @version 1 - *) - -open Int32 -open Intel - -type context_t = -{ - mutable domain : int; - mutable vcpu : int -} - -let default_context = { domain = 0; vcpu = 0 } - -let new_context new_dom new_vcpu = {domain = new_dom; vcpu = new_vcpu} - -let set_domain ctx value = - ctx.domain <- value - -let set_vcpu ctx value = - ctx.vcpu <- value - -let get_domain ctx = - ctx.domain - -let get_vcpu ctx = - ctx.vcpu - -let string_of_context ctx = - Printf.sprintf "{domain} domain: %d, vcpu: %d" - ctx.domain ctx.vcpu - -external read_register : context_t -> int -> int32 = "dom_read_register" -external read_registers : context_t -> registers = "dom_read_registers" -external write_register : context_t -> register -> int32 -> unit = - "dom_write_register" -external read_memory : context_t -> int32 -> int -> int list = - "dom_read_memory" -external write_memory : context_t -> int32 -> int list -> unit = - "dom_write_memory" - -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 = - "dom_insert_memory_breakpoint" -external remove_memory_breakpoint : context_t -> int32 -> int -> unit = - "dom_remove_memory_breakpoint" - -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 |