>>> On 04.01.18 at 14:05, <wei.l...@citrix.com> wrote: > @@ -177,7 +178,8 @@ void ctxt_switch_levelling(const struct vcpu *next) > * generating the maximum full cpuid policy into Xen, at which > * this problem will disappear. > */ > - set_cpuid_faulting(nextd && !is_control_domain(nextd) && > + set_cpuid_faulting(nextd && > + (pv_shim || !is_control_domain(nextd)) &&
Doesn't pv_shim imply !is_control_domain(nextd)? Jan _______________________________________________ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel