}\r
\r
DEBUG((EFI_D_INFO, "Install PPI: %g\n", PpiList->Guid));\r
- ASSERT (Index < FixedPcdGet32 (PcdPeiCoreMaxPpiSupported));\r
PrivateData->PpiData.PpiListPtrs[Index].Ppi = (EFI_PEI_PPI_DESCRIPTOR*) PpiList;\r
PrivateData->PpiData.PpiListEnd++;\r
\r
// Remove the old PPI from the database, add the new one.\r
//\r
DEBUG((EFI_D_INFO, "Reinstall PPI: %g\n", NewPpi->Guid));\r
+ ASSERT (Index < FixedPcdGet32 (PcdPeiCoreMaxPpiSupported));\r
PrivateData->PpiData.PpiListPtrs[Index].Ppi = (EFI_PEI_PPI_DESCRIPTOR *) NewPpi;\r
\r
//\r