Symbol: TSC_OFFSET_HIGH
arch/x86/include/asm/vmx.h
228
TSC_OFFSET_HIGH = 0x00002011,
tools/testing/selftests/kvm/include/x86/vmx.h
139
TSC_OFFSET_HIGH = 0x00002011,