>>> 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

Reply via email to