diff --git a/xen/xenops_interface.ml b/xen/xenops_interface.ml index 9780f10f..cd4b9f70 100644 --- a/xen/xenops_interface.ml +++ b/xen/xenops_interface.ml @@ -374,8 +374,6 @@ module Vm = struct pv_drivers_detected: bool; last_start_time: float; hvm: bool; - nomigrate: bool; (* true: VM must not migrate *) - nested_virt: bool (* true: VM uses nested virtualisation *) } with sexp end