diff options
author | David Scott <dave.scott@eu.citrix.com> | 2013-03-20 20:24:43 +0000 |
---|---|---|
committer | Ian Campbell <ian.campbell@citrix.com> | 2013-04-11 12:03:11 +0100 |
commit | 5aca10972b1b37f3bfebab52f5b89b0ebb617abf (patch) | |
tree | b7407715ffd0feeb84542639ee4f9ba5d16a4b53 /tools/ocaml | |
parent | dfb9738cdc8cdbdf38747edfcdcf1bae46f074f2 (diff) | |
download | xen-5aca10972b1b37f3bfebab52f5b89b0ebb617abf.tar.gz xen-5aca10972b1b37f3bfebab52f5b89b0ebb617abf.tar.bz2 xen-5aca10972b1b37f3bfebab52f5b89b0ebb617abf.zip |
ocaml: eventchn: in the interface, we don't have to give implementation details
Remove the mention of the C function names from the .mli -- this is only
needed in the implementation .ml
Signed-off-by: David Scott <dave.scott@eu.citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
Diffstat (limited to 'tools/ocaml')
-rw-r--r-- | tools/ocaml/libs/eventchn/xeneventchn.mli | 19 |
1 files changed, 9 insertions, 10 deletions
diff --git a/tools/ocaml/libs/eventchn/xeneventchn.mli b/tools/ocaml/libs/eventchn/xeneventchn.mli index 2b582cdaaf..74e581b4ee 100644 --- a/tools/ocaml/libs/eventchn/xeneventchn.mli +++ b/tools/ocaml/libs/eventchn/xeneventchn.mli @@ -23,14 +23,13 @@ type t val to_int: t -> int val of_int: int -> t -external init : unit -> handle = "stub_eventchn_init" -external fd: handle -> Unix.file_descr = "stub_eventchn_fd" +val init: unit -> handle +val fd: handle -> Unix.file_descr -external notify : handle -> t -> unit = "stub_eventchn_notify" -external bind_interdomain : handle -> int -> int -> t - = "stub_eventchn_bind_interdomain" -external bind_dom_exc_virq : handle -> t = "stub_eventchn_bind_dom_exc_virq" -external unbind : handle -> t -> unit = "stub_eventchn_unbind" -external pending : handle -> t = "stub_eventchn_pending" -external unmask : handle -> t -> unit - = "stub_eventchn_unmask" +val notify : handle -> t -> unit +val bind_interdomain : handle -> int -> int -> t + +val bind_dom_exc_virq : handle -> t +val unbind : handle -> t -> unit +val pending : handle -> t +val unmask : handle -> t -> unit |