blob: 29c1a446f661fa166e50eb6fc60218e7f7893fde (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
(** 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
|