SECONDARY_EXEC_TSC_SCALING   71 arch/x86/include/asm/vmx.h #define SECONDARY_EXEC_TSC_SCALING              0x02000000
SECONDARY_EXEC_TSC_SCALING   67 tools/testing/selftests/kvm/include/x86_64/vmx.h #define SECONDARY_EXEC_TSC_SCALING		0x02000000