Lines Matching refs:domains
171 let do_isintroduced con _t domains _cons data =
179 if domid = Define.domid_self || Domains.exist domains domid then "T\000" else "F\000"
384 let do_transaction_end con t domains cons data =
394 …let commit = if commit then Some (fun con trans -> transaction_replay con trans domains cons) else…
407 let do_introduce con t domains cons data =
417 if Domains.exist domains domid then
418 let edom = Domains.find domains domid in
426 let ndom = Domains.create domains domid mfn port in
435 let do_release con t domains cons data =
443 let fire_spec_watches = Domains.exist domains domid in
444 Domains.del domains domid;
451 let do_resume con _t domains _cons data =
459 if Domains.exist domains domid
460 then Domains.resume domains domid