TSC_OFFSET_HIGH   186 arch/x86/include/asm/vmx.h 	TSC_OFFSET_HIGH                 = 0x00002011,
TSC_OFFSET_HIGH   188 tools/testing/selftests/kvm/include/x86_64/vmx.h 	TSC_OFFSET_HIGH			= 0x00002011,