Re: [Xen-devel] RFC: PVH set vcpu info context in vmcs....

["Jan Beulich" <JBeulich@xxxxxxxx>]

>>> On 13.08.13 at 11:16, Tim Deegan <tim@xxxxxxx> wrote:
>>     __vmwrite(GUEST_FS_SELECTOR, ctxtp->user_regs.fs);
>>     __vmwrite(GUEST_GS_SELECTOR, ctxtp->user_regs.gs);
> 
> Or we could load these segments from their selectors too, and then
> either check that the supplied bases match or mandate that they be zero.

For FS and GS that would be wrong - you can't load them through
a selector when the base is beyond 4Gb. As said in my other reply,
I think we should require the selectors to be zero, and load just the
bases.

Jan


_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel