diff options
Diffstat (limited to 'tools/debugger/pdb/Process.mli')
| -rw-r--r-- | tools/debugger/pdb/Process.mli | 41 |
1 files changed, 0 insertions, 41 deletions
diff --git a/tools/debugger/pdb/Process.mli b/tools/debugger/pdb/Process.mli deleted file mode 100644 index 733b681f59..0000000000 --- a/tools/debugger/pdb/Process.mli +++ /dev/null @@ -1,41 +0,0 @@ -(** Process.mli - * - * process context interface - * - * @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 - -val default_context : context_t -val new_context : int -> int -> context_t - -val set_domain : context_t -> int -> unit -val get_domain : context_t -> int -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_register : context_t -> int -> unit -val read_registers : context_t -> unit -val write_register : context_t -> register -> int32 -> unit -val read_memory : context_t -> int32 -> int -> unit -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 -val insert_watchpoint : context_t -> int -> int32 -> int -> unit -val remove_watchpoint : context_t -> int -> int32 -> int -> unit |