diff options
Diffstat (limited to 'tools/debugger/pdb/Domain.mli')
| -rw-r--r-- | tools/debugger/pdb/Domain.mli | 39 |
1 files changed, 0 insertions, 39 deletions
diff --git a/tools/debugger/pdb/Domain.mli b/tools/debugger/pdb/Domain.mli deleted file mode 100644 index d9cf115c4f..0000000000 --- a/tools/debugger/pdb/Domain.mli +++ /dev/null @@ -1,39 +0,0 @@ -(** Domain.mli - * - * domain 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_vcpu : context_t -> int -> unit -val get_vcpu : context_t -> int - -val string_of_context : context_t -> string - -val read_register : context_t -> int -> int32 -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 - -val attach_debugger : int -> int -> unit -val detach_debugger : int -> int -> unit -val pause : context_t -> unit |