At 14:03 +0000 on 27 Feb (1488204194), Andrew Cooper wrote: > +static inline bool guest_has_pse36(const struct vcpu *v) > +{ > + /* No support for 2-level PV guests. */ > + return is_pv_vcpu(v) ? 0 : paging_mode_hap(v->domain); > +}
Should this check the CPUID policy to see whether PSE36 is supported? There's no way to disable it in a HAP guest anyway, so maybe not, for consistency? Tim. _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org https://lists.xen.org/xen-devel