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 -- To unsubscribe from this list: send the line "unsubscribe kvm" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html