Symbol: TSC_MULTIPLIER_HIGH
arch/x86/include/asm/vmx.h
272
TSC_MULTIPLIER_HIGH = 0x00002033,
tools/testing/selftests/kvm/include/x86/vmx.h
165
TSC_MULTIPLIER_HIGH = 0x00002033,