aboutsummaryrefslogtreecommitdiffstats
path: root/tools/ocaml/xenstored
diff options
context:
space:
mode:
authorIan Campbell <ian.campbell@citrix.com>2011-01-06 17:34:46 +0000
committerIan Campbell <ian.campbell@citrix.com>2011-01-06 17:34:46 +0000
commitdaec2beeaf53611dd145c4196eaee5cdd2e55a81 (patch)
treeaf7217517c50f470f9f29db534b5416f84729839 /tools/ocaml/xenstored
parent2bdf003296acb786bdc6bec5b0e0ad2ab12eb420 (diff)
downloadxen-daec2beeaf53611dd145c4196eaee5cdd2e55a81.tar.gz
xen-daec2beeaf53611dd145c4196eaee5cdd2e55a81.tar.bz2
xen-daec2beeaf53611dd145c4196eaee5cdd2e55a81.zip
ocaml: rename Evtchn.bind_virq as Evtchn.bind_dom_exc_virq
Rename Evtchn.bind_virq as Evtchn.bind_dom_exc_virq to reflect its actual behaviour. Signed-off-by: Ian Campbell <ian.campbell@citrix.com> Committed-by: Ian Jackson <ian.jackson@eu.citrix.com>
Diffstat (limited to 'tools/ocaml/xenstored')
-rw-r--r--tools/ocaml/xenstored/event.ml2
-rw-r--r--tools/ocaml/xenstored/xenstored.ml4
2 files changed, 3 insertions, 3 deletions
diff --git a/tools/ocaml/xenstored/event.ml b/tools/ocaml/xenstored/event.ml
index 5cbdccf715..0e6ed03fe8 100644
--- a/tools/ocaml/xenstored/event.ml
+++ b/tools/ocaml/xenstored/event.ml
@@ -21,7 +21,7 @@ type t = {
}
let init () = { fd = Eventchn.init (); virq_port = -1; }
-let bind_virq eventchn = eventchn.virq_port <- Eventchn.bind_virq eventchn.fd
+let bind_dom_exc_virq eventchn = eventchn.virq_port <- Eventchn.bind_dom_exc_virq eventchn.fd
let bind_interdomain eventchn domid port = Eventchn.bind_interdomain eventchn.fd domid port
let unbind eventchn port = Eventchn.unbind eventchn.fd port
let notify eventchn port = Eventchn.notify eventchn.fd port
diff --git a/tools/ocaml/xenstored/xenstored.ml b/tools/ocaml/xenstored/xenstored.ml
index 44223ebe44..c25a44ad85 100644
--- a/tools/ocaml/xenstored/xenstored.ml
+++ b/tools/ocaml/xenstored/xenstored.ml
@@ -270,7 +270,7 @@ let _ =
if cf.restart then (
DB.from_file store domains cons "/var/run/xenstored/db";
- Event.bind_virq eventchn
+ Event.bind_dom_exc_virq eventchn
) else (
if !Disk.enable then (
info "reading store from disk";
@@ -284,7 +284,7 @@ let _ =
if cf.domain_init then (
let usingxiu = Xc.using_injection () in
Connections.add_domain cons (Domains.create0 usingxiu domains);
- Event.bind_virq eventchn
+ Event.bind_dom_exc_virq eventchn
);
);