Searched refs:EFI_PEI_TEMPORARY_RAM_SUPPORT_PPI (Results 1 - 3 of 3) sorted by relevance

/vbox/src/VBox/Devices/EFI/Firmware/MdePkg/Include/Ppi/
H A DTemporaryRamSupport.h31 This service of the EFI_PEI_TEMPORARY_RAM_SUPPORT_PPI that migrates temporary RAM into
57 /// Note: The name EFI_PEI_TEMPORARY_RAM_SUPPORT_PPI is different from the current PI 1.2 spec.
62 } EFI_PEI_TEMPORARY_RAM_SUPPORT_PPI; typedef in typeref:struct:__anon12017
/vbox/src/VBox/Devices/EFI/Firmware/OvmfPkg/Sec/
H A DSecMain.c59 EFI_PEI_TEMPORARY_RAM_SUPPORT_PPI mTemporaryRamSupportPpi = {
/vbox/src/VBox/Devices/EFI/Firmware/MdeModulePkg/Core/Pei/Dispatcher/
H A DDispatcher.c638 EFI_PEI_TEMPORARY_RAM_SUPPORT_PPI *TemporaryRamSupportPpi;

Completed in 38 milliseconds