Searched refs:TemporaryRamSupportPpi (Results 1 – 1 of 1) sorted by relevance
658 EFI_PEI_TEMPORARY_RAM_SUPPORT_PPI *TemporaryRamSupportPpi; in PeiCheckAndSwitchStack() local761 (VOID**)&TemporaryRamSupportPpi in PeiCheckAndSwitchStack()795 TemporaryRamSupportPpi->TemporaryRamMigration ( in PeiCheckAndSwitchStack()