]> xenbits.xensource.com Git - xen.git/commit
tools/oxenstored: Bind the DOM_EXC VIRQ in in Event.init()
authorAndrew Cooper <andrew.cooper3@citrix.com>
Tue, 29 Nov 2022 21:05:43 +0000 (21:05 +0000)
committerAndrew Cooper <andrew.cooper3@citrix.com>
Tue, 20 Dec 2022 13:13:40 +0000 (13:13 +0000)
commitbc5cc00868ea29d814bb3d783e28b49d1acf63e9
tree9f4ea628c894a70b9deec7450def0444946fdf8c
parent0929960173bc76b8d90df73c8ee665747c233e18
tools/oxenstored: Bind the DOM_EXC VIRQ in in Event.init()

Xenstored always needs to bind the DOM_EXC VIRQ.

Instead of doing it shortly after the call to Event.init(), do it in the
constructor directly.  This removes the need for the field to be a mutable
option.

It will also simplify a future change to support live update.  Rename the
field from virq_port (which could be any VIRQ) to it's proper name.

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Reviewed-by: Edwin Török <edvin.torok@citrix.com>
Acked-by: Christian Lindig <christian.lindig@citrix.com>
(cherry picked from commit 9804a5db435fe40c8ded8cf36c2d2b2281c56f1d)
tools/ocaml/xenstored/event.ml
tools/ocaml/xenstored/xenstored.ml