+ if (((EFI_TE_IMAGE_HEADER *) (UINTN) ImageAddress)->Signature == EFI_TE_IMAGE_HEADER_SIGNATURE) {\r
+ TEImageHeader = (EFI_TE_IMAGE_HEADER *) (UINTN) ImageAddress;\r
+ Machine = TEImageHeader->Machine;\r
+ } else {\r
+ Machine = PeCoffLoaderGetMachineType (Pe32Data);\r
+ } \r
+ \r
+ if (!EFI_IMAGE_MACHINE_TYPE_SUPPORTED (Machine)) {\r
+ return EFI_UNSUPPORTED; \r
+ }\r
+\r