tree bf46fdc9daca6cab3b42d102ec12c133a62cb2ff
parent cdc0e24456bf5678f63497569c3676c9019f82c1
author Avi Kivity <avi@redhat.com> 1260181008 +0200
committer Marcelo Tosatti <mtosatti@redhat.com> 1267457739 -0300

KVM: Add accessor for reading cr4 (or some bits of cr4)

Some bits of cr4 can be owned by the guest on vmx, so when we read them,
we copy them to the vcpu structure.  In preparation for making the set of
guest-owned bits dynamic, use helpers to access these bits so we don't need
to know where the bit resides.

No changes to svm since all bits are host-owned there.

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