Home
last modified time | relevance | path

Searched refs:GetPlatformPpi (Results 1 – 5 of 5) sorted by relevance

/device/linaro/bootloader/edk2/ArmVirtPkg/PrePi/
DPrePi.h65 GetPlatformPpi (
DPrePi.c45 GetPlatformPpi ( in GetPlatformPpi() function
/device/linaro/bootloader/edk2/ArmPlatformPkg/PrePi/
DPrePi.c51 GetPlatformPpi ( in GetPlatformPpi() function
135 Status = GetPlatformPpi (&gArmMpCoreInfoPpiGuid, (VOID**)&ArmMpCoreInfoPpi); in PrePiMain()
DPrePi.h79 GetPlatformPpi (
DMainMPCore.c64 Status = GetPlatformPpi (&gArmMpCoreInfoPpiGuid, (VOID**)&ArmMpCoreInfoPpi); in SecondaryMain()