arch/x86/kvm/vmx/evmcs.h
tools/testing/selftests/kvm/include/evmcs.h