}\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