return EFI_INVALID_PARAMETER;\r
}\r
\r
+ //\r
+ // The image to be started must have the machine type supported by DxeCore.\r
+ //\r
+ ASSERT (EFI_IMAGE_MACHINE_TYPE_SUPPORTED (Image->Machine));\r
if (!EFI_IMAGE_MACHINE_TYPE_SUPPORTED (Image->Machine)) {\r
- //\r
- // The image to be started must have the machine type supported by DxeCore.\r
- //\r
- ASSERT (FALSE);\r
return EFI_UNSUPPORTED;\r
}\r
\r