Re: Xen PVH domU start-of-day VCPU state

[Andrew Cooper <andrew.cooper3@xxxxxxxxxx>]

On 26/05/2020 09:52, Martin Lucina wrote:
> On Monday, 25.05.2020 at 17:59, Andrew Cooper wrote:
>> On 25/05/2020 17:42, Jürgen Groß wrote:
>>> You need to setup virtual addressing and enable 64 bit mode before using
>>> 64-bit GDT.
>>>
>>> See Mini-OS source arch/x86/x86_hvm.S
>> Or
>> https://xenbits.xen.org/gitweb/?p=people/andrewcoop/xen-test-framework.git;a=blob;f=arch/x86/hvm/head.S;h=f7dc72b58ab9ec68538f0087969ab6f72d181d80;hb=HEAD
>>
>> But yes - Juergen is correct.  Until you have enabled long mode, lgdt
>> will only load the bottom 32 bits of GDTR.base.
> Ah, I missed Jurgen's and your reply here.

So the mailing list is doing something evil and setting:

Mail-Followup-To: Andrew Cooper <andrew.cooper3@xxxxxxxxxx>,
    =?iso-8859-1?Q?J=FCrgen_Gro=DF?= <jgross@xxxxxxxx>,
    xen-devel@xxxxxxxxxxxxxxxxxxxx, mirageos-devel@xxxxxxxxxxxxxxxxxxxx,
    anil@xxxxxxxxxx, dave@xxxxxxxxxx

which causes normal replies to cut you out.

~Andrew