aboutsummaryrefslogtreecommitdiffstats
path: root/tools/ocaml
diff options
context:
space:
mode:
authorDavid Scott <dave.scott@eu.citrix.com>2013-03-20 20:24:43 +0000
committerIan Campbell <ian.campbell@citrix.com>2013-04-11 12:03:11 +0100
commit5aca10972b1b37f3bfebab52f5b89b0ebb617abf (patch)
treeb7407715ffd0feeb84542639ee4f9ba5d16a4b53 /tools/ocaml
parentdfb9738cdc8cdbdf38747edfcdcf1bae46f074f2 (diff)
downloadxen-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.mli19
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