diff options
| author | ach61@arcadians.cl.cam.ac.uk <ach61@arcadians.cl.cam.ac.uk> | 2005-06-27 21:31:56 +0000 |
|---|---|---|
| committer | ach61@arcadians.cl.cam.ac.uk <ach61@arcadians.cl.cam.ac.uk> | 2005-06-27 21:31:56 +0000 |
| commit | 6d2562c9f0f3badd4e76fe389839976eeaf61693 (patch) | |
| tree | 4b94893e502ac6424d86551484dacba2c3e05b6f /tools/debugger/pdb/Process.mli | |
| parent | b4dc2718f8f4002e26c5c0a52208db16f03cf532 (diff) | |
| parent | 2136a8f965c54a89786a0ae5225686fcffd113b9 (diff) | |
| download | xen-6d2562c9f0f3badd4e76fe389839976eeaf61693.tar.gz xen-6d2562c9f0f3badd4e76fe389839976eeaf61693.tar.bz2 xen-6d2562c9f0f3badd4e76fe389839976eeaf61693.zip | |
bitkeeper revision 1.1761 (42c0704c_K5N6pcA--cz5L-FX_z0zw)
Merge arcadians.cl.cam.ac.uk:/auto/groups/xeno-xenod/BK/xeno.bk
into arcadians.cl.cam.ac.uk:/auto/anfs/nos1/ach61/bk
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 |