Symbol: EFI_IMAGE_MACHINE_X64
usr/src/boot/efi/include/Uefi/UefiBaseType.h
255
#define EFI_IMAGE_MACHINE_CROSS_TYPE_SUPPORTED(Machine) ((Machine) == EFI_IMAGE_MACHINE_X64)
usr/src/boot/efi/include/Uefi/UefiBaseType.h
260
((Machine) == EFI_IMAGE_MACHINE_X64)