VMCS_LINK_POINTER_HIGH  220 arch/x86/include/asm/vmx.h 	VMCS_LINK_POINTER_HIGH          = 0x00002801,
VMCS_LINK_POINTER_HIGH  216 tools/testing/selftests/kvm/include/x86_64/vmx.h 	VMCS_LINK_POINTER_HIGH		= 0x00002801,