GUEST_IA32_EFER_HIGH  226 arch/x86/include/asm/vmx.h 	GUEST_IA32_EFER_HIGH		= 0x00002807,
GUEST_IA32_EFER_HIGH  222 tools/testing/selftests/kvm/include/x86_64/vmx.h 	GUEST_IA32_EFER_HIGH		= 0x00002807,