On 23/02/16 11:05, David Vrabel wrote: > @@ -653,6 +657,12 @@ int arch_domain_create(struct domain *d, unsigned int > domcr_flags, > /* PV/PVH guests get an emulated PIT too for video BIOSes to use. */ > pit_init(d, cpu_khz); > > + /* > + * If the FPU not to save FCS/FDS then we can always save/restore
"If the FPU does not" ? > @@ -284,7 +284,11 @@ void xsave(struct vcpu *v, uint64_t mask) > return; > } > > - if ( word_size > 0 && > + /* > + * If the FIP/FDP[63:32] are both zero, it is safe to use the > + * 32-bit restore to also restore the selectors. > + */ This comment is presumably applicable to the fxsave path? The functional content of the patch, Reviewed-by: Andrew Cooper <andrew.coop...@citrix.com> _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
