ia64/xen-unstable

view tools/debugger/pdb/Xen_domain.mli @ 6552:a9873d384da4

Merge.
author adsharma@los-vmm.sc.intel.com
date Thu Aug 25 12:24:48 2005 -0700 (2005-08-25)
parents 112d44270733 fa0754a9f64f
children dfaf788ab18c
line source
1 (** Xen_domain.ml
2 *
3 * domain assist for debugging processes
4 *
5 * @author copyright (c) 2005 alex ho
6 * @see <www.cl.cam.ac.uk/netos/pdb> pervasive debugger
7 * @version 1
8 *)
10 type context_t
12 val default_context : context_t
13 val new_context : int -> int -> int32 -> context_t
15 val set_domain : context_t -> int -> unit
16 val get_domain : context_t -> int
17 val set_evtchn : context_t -> int -> unit
18 val get_evtchn : context_t -> int
19 val set_ring : context_t -> int32 -> unit
20 val get_ring : context_t -> int32
22 val string_of_context : context_t -> string
24 val process_response : int32 -> int * int * string