mirror of
https://github.com/xen-project/xen.git
synced 2026-10-28 02:01:24 +01:00
tools/oxenstored: Style fixes to Domain
This file has some style problems so severe that they interfere with the readability of the subsequent bugfix patches. Fix these issues ahead of time, to make the subsequent changes more readable. No functional change. 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>
This commit is contained in:
1 parent
9bafe4a533
commit
b45bfaf359
1 file changed
+7
-9
@@ -57,17 +57,16 @@ let is_paused_for_conflict dom = dom.conflict_credit <= 0.0
|
||||
let is_free_to_conflict = is_dom0
|
||||
|
||||
let string_of_port = function
|
||||
| None -> "None"
|
||||
| Some x -> string_of_int (Xeneventchn.to_int x)
|
||||
| None -> "None"
|
||||
| Some x -> string_of_int (Xeneventchn.to_int x)
|
||||
|
||||
let dump d chan =
|
||||
fprintf chan "dom,%d,%nd,%d\n" d.id d.mfn d.remote_port
|
||||
|
||||
let notify dom = match dom.port with
|
||||
| None ->
|
||||
warn "domain %d: attempt to notify on unknown port" dom.id
|
||||
| Some port ->
|
||||
Event.notify dom.eventchn port
|
||||
let notify dom =
|
||||
match dom.port with
|
||||
| None -> warn "domain %d: attempt to notify on unknown port" dom.id
|
||||
| Some port -> Event.notify dom.eventchn port
|
||||
|
||||
let bind_interdomain dom =
|
||||
begin match dom.port with
|
||||
@@ -84,8 +83,7 @@ let close dom =
|
||||
| None -> ()
|
||||
| Some port -> Event.unbind dom.eventchn port
|
||||
end;
|
||||
Xenmmap.unmap dom.interface;
|
||||
()
|
||||
Xenmmap.unmap dom.interface
|
||||
|
||||
let make id mfn remote_port interface eventchn = {
|
||||
id = id;
|
||||
|
||||