MSR_IA32_VMX_EPT_VPID_CAP  853 arch/x86/include/asm/msr-index.h #define MSR_IA32_VMX_EPT_VPID_CAP       0x0000048c
MSR_IA32_VMX_EPT_VPID_CAP 1070 tools/testing/selftests/kvm/include/x86_64/processor.h #define MSR_IA32_VMX_EPT_VPID_CAP       0x0000048c