Searched defs:TemporaryRamSupportPpi (Results 1 - 1 of 1) sorted by relevance

/vbox/src/VBox/Devices/EFI/Firmware/MdeModulePkg/Core/Pei/Dispatcher/
H A DDispatcher.c638 EFI_PEI_TEMPORARY_RAM_SUPPORT_PPI *TemporaryRamSupportPpi; local
927 // TemporaryRamSupportPpi is produced by platform's SEC
933 (VOID**)&TemporaryRamSupportPpi
942 TemporaryRamSupportPpi->TemporaryRamMigration (

Completed in 34 milliseconds