tree e00acf03deed045b0a182851f28b2ec48c012040
parent c9a7953f09bbe2b66050ebf97e0532eaeefbc9f3
author Paolo Bonzini <pbonzini@redhat.com> 1392976544 +0100
committer Paolo Bonzini <pbonzini@redhat.com> 1394531161 +0100

KVM: vmx: we do rely on loading DR7 on entry

Currently, this works even if the bit is not in "min", because the bit is always
set in MSR_IA32_VMX_ENTRY_CTLS.  Mention it for the sake of documentation, and
to avoid surprises if we later switch to MSR_IA32_VMX_TRUE_ENTRY_CTLS.

Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>