On 20/10/17 15:22, Jan Beulich wrote: > load_segments() writes the two MSRs in their "canonical" positions > (GS_BASE for the user base, SHADOW_GS_BASE for the kernel one) and uses > SWAPGS to switch them around if the incoming vCPU is in kernel mode. In > order to not leave a stale kernel address in GS_BASE when the incoming > guest is in user mode, the check on the outgoing vCPU needs to be > dependent upon the mode it is currently in, rather than blindly looking > at the user base. > > Signed-off-by: Jan Beulich <jbeul...@suse.com>
Reviewed-by: Andrew Cooper <andrew.coop...@citrix.com> _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org https://lists.xen.org/xen-devel
