aboutsummaryrefslogtreecommitdiffstats
path: root/tools/debugger/pdb/evtchn.mli
blob: 3f9560f72cdadc7712b3d3d81c915c64d3a6747c (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
(** evtchn.mli
 *
 *  event channel interface
 *
 *  @author copyright (c) 2005 alex ho
 *  @see <www.cl.cam.ac.uk/netos/pdb> pervasive debugger
 *  @version 1
 *)

val _setup : unit -> Unix.file_descr
val _bind : Unix.file_descr -> int -> unit

val bind_interdomain : int -> int * int


val setup : unit -> Unix.file_descr
val read : Unix.file_descr -> int
val teardown : Unix.file_descr -> unit
val unmask : Unix.file_descr -> int -> unit