I can only assume that no one cares that KVM_GET_SREGS/KVM_SET_SREGS is broken for PAE mode guests (i.e. KVM_GET_SREGS doesn't capture the PDPTRs and KVM_SET_SREGS re-reads them from memory). Presumably, since AMD's nested paging is broken for PAE mode guests, the kvm community has made the decision not to get things right for Intel either. Can anyone confirm? This was all before my time.