diff options
Diffstat (limited to 'tools/debugger/pdb/Process.mli')
| -rw-r--r-- | tools/debugger/pdb/Process.mli | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/tools/debugger/pdb/Process.mli b/tools/debugger/pdb/Process.mli index 39b6221892..a32a814c70 100644 --- a/tools/debugger/pdb/Process.mli +++ b/tools/debugger/pdb/Process.mli @@ -7,6 +7,9 @@ * @version 1 *) +open Int32 +open Intel + type context_t val default_context : context_t @@ -18,3 +21,19 @@ val set_process : context_t -> int -> unit val get_process : context_t -> int val string_of_context : context_t -> string + +val attach_debugger : context_t -> Xen_domain.context_t -> unit +val detach_debugger : context_t -> unit +val pause : context_t -> unit + + +val read_registers : context_t -> registers +val write_register : context_t -> register -> int32 -> unit +val read_memory : context_t -> int32 -> int -> int list +val write_memory : context_t -> int32 -> int list -> unit + +val continue : context_t -> unit +val step : context_t -> unit + +val insert_memory_breakpoint : context_t -> int32 -> int -> unit +val remove_memory_breakpoint : context_t -> int32 -> int -> unit |