Home
last modified time | relevance | path

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

/device/linaro/bootloader/edk2/UefiCpuPkg/CpuMpPei/
DCpuMpPei.c20 EFI_PEI_MP_SERVICES_PPI mMpServicesPpi = { variable
33 &mMpServicesPpi