GUEST_PHYSICAL_ADDRESS_HIGH  218 arch/x86/include/asm/vmx.h 	GUEST_PHYSICAL_ADDRESS_HIGH     = 0x00002401,
GUEST_PHYSICAL_ADDRESS_HIGH  214 tools/testing/selftests/kvm/include/x86_64/vmx.h 	GUEST_PHYSICAL_ADDRESS_HIGH	= 0x00002401,