On 13.08.2016 17:38, Mika Penttilä wrote: > Hi, > > While studying the vmx code, and the shadow page tables usage (no ept > involved), > I wondered the GUEST_CR3 usage. If no ept, GUEST_CR3 points to the shadow > tables. > But the format of sptes is always 64 bit. How is that with 32 bit hosts, is > the GUEST_CR3 > similar to EPT format, 4 level 64 bit always or how is this working on 32 bit? > > Thanks, > Mika > Hmm seems non PAE 32 bit host without ept enabled is not supported combination, right ?
--Mika
