RE: [Xen-devel] more segment/selector handling woes

["Petersson, Mats" <Mats.Petersson@xxxxxxx>]

> Note the wording 'as if' - this doesn't tell me whether the 
> internal base
> address field (which gets stored to the vmcb) can indeed be 
> relied upon.
> But obviously the code would be simpler if that was the case 
> in reality
> (and then perhaps the documentation could be updated accordingly).

Indeed, you're right: You need to check if the processor is in 64-bit
mode and if so, return base as zero, as the base value may not be zero
when the processor is storing it. This is so that 64-bit OS's can load a
32-bit segment before jumping to the actual code. 

I just got this confirmed by Ben Serebrin... 

--
Mats



_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel