Home
last modified time | relevance | path

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

/device/linaro/bootloader/edk2/EdkCompatibilityPkg/Foundation/Framework/Ppi/DxeIpl/
DDxeIpl.c27 EFI_GUID gEfiDxeIplPpiGuid = EFI_DXE_IPL_PPI_GUID;
DDxeIpl.h30 #define EFI_DXE_IPL_PPI_GUID \ macro
/device/linaro/bootloader/edk2/MdePkg/Include/Ppi/
DDxeIpl.h22 #define EFI_DXE_IPL_PPI_GUID \ macro