tree 156623c2acf64f160855ce24cdd9cc5106a4ce21
parent 4c38609ac569483152f9cb7e5a66f17355e563b2
author Avi Kivity <avi@redhat.com> 1260181754 +0200
committer Marcelo Tosatti <mtosatti@redhat.com> 1267457739 -0300

KVM: VMX: When using ept, allow the guest to own cr4.pge

We make no use of cr4.pge if ept is enabled, but the guest does (to flush
global mappings, as with vmap()), so give the guest ownership of this bit.

Signed-off-by: Avi Kivity <avi@redhat.com>