Paolo Bonzini (4): vmx: adjust reserved bits in MSR_IA32_VMX_EPT_VPID_CAP VMX: run EPT tests with A/D bits enabled VMX: add tests for EPT A/D bits VMX: move execution control setup to setup_ept x86/vmx.c | 101 ++++++++++++++++++++++++++++++++++++++++++++++++++- x86/vmx.h | 5 +++ x86/vmx_tests.c | 109 +++++++++++++++++++++++++++++++++++++++++++++----------- 3 files changed, 194 insertions(+), 21 deletions(-) -- 1.8.3.1
