diff options
Diffstat (limited to 'tools/debugger/pdb/Xen_domain.mli')
-rw-r--r-- | tools/debugger/pdb/Xen_domain.mli | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/tools/debugger/pdb/Xen_domain.mli b/tools/debugger/pdb/Xen_domain.mli deleted file mode 100644 index 29c1a446f6..0000000000 --- a/tools/debugger/pdb/Xen_domain.mli +++ /dev/null @@ -1,25 +0,0 @@ -(** Xen_domain.ml - * - * domain assist for debugging processes - * - * @author copyright (c) 2005 alex ho - * @see <www.cl.cam.ac.uk/netos/pdb> pervasive debugger - * @version 1 - *) - -type context_t - -val default_context : context_t -val new_context : int -> int -> int32 -> context_t - -val set_domain : context_t -> int -> unit -val get_domain : context_t -> int -val set_evtchn : context_t -> int -> unit -val get_evtchn : context_t -> int -val set_ring : context_t -> int32 -> unit -val get_ring : context_t -> int32 - -val string_of_context : context_t -> string - -val process_response : int32 -> int * int * string - |