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
|