78 return BOOT_WITH_FULL_CONFIGURATION;
99PrePeiCoreGetMpCoreInfo (
104 if (ArmIsMpCore ()) {
105 *CoreCount =
sizeof (mArmPlatformNullMpCoreInfoTable) /
sizeof (
ARM_CORE_INFO);
106 *ArmCoreTable = mArmPlatformNullMpCoreInfoTable;
109 return EFI_UNSUPPORTED;
117 EFI_PEI_PPI_DESCRIPTOR_PPI,
118 &gArmMpCoreInfoPpiGuid,
129 if (ArmIsMpCore ()) {
130 *PpiListSize =
sizeof (gPlatformPpiTable);
131 *PpiList = gPlatformPpiTable;
UINT64 EFI_PHYSICAL_ADDRESS