// is enabled.\r
//\r
if (PpiList != NULL) {\r
- for (Index = 0;\r
- (PpiList[Index].Flags & EFI_PEI_PPI_DESCRIPTOR_TERMINATE_LIST) != EFI_PEI_PPI_DESCRIPTOR_TERMINATE_LIST;\r
- Index++) {\r
+ Index = 0;\r
+ do {\r
if (CompareGuid (PpiList[Index].Guid, &gEfiPeiCoreFvLocationPpiGuid) &&\r
(((EFI_PEI_CORE_FV_LOCATION_PPI *) PpiList[Index].Ppi)->PeiCoreFvLocation != 0)\r
) {\r
break;\r
} else {\r
//\r
- // PeiCore not found\r
+ // Invalid PeiCore FV provided by platform\r
//\r
CpuDeadLoop ();\r
}\r
}\r
- }\r
+ } while ((PpiList[Index++].Flags & EFI_PEI_PPI_DESCRIPTOR_TERMINATE_LIST) != EFI_PEI_PPI_DESCRIPTOR_TERMINATE_LIST);\r
}\r
//\r
// If EFI_PEI_CORE_FV_LOCATION_PPI not found, try to locate PeiCore from BFV.\r