TSC_MULTIPLIER_HIGH  216 arch/x86/include/asm/vmx.h 	TSC_MULTIPLIER_HIGH             = 0x00002033,
TSC_MULTIPLIER_HIGH  212 tools/testing/selftests/kvm/include/x86_64/vmx.h 	TSC_MULTIPLIER_HIGH		= 0x00002033,