1 /*++ 2 3 Copyright (c) 2009 - 2010, Intel Corporation. All rights reserved.<BR> 4 This program and the accompanying materials 5 are licensed and made available under the terms and conditions of the BSD License 6 which accompanies this distribution. The full text of the license may be found at 7 http://opensource.org/licenses/bsd-license.php 8 9 THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS, 10 WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED. 11 12 Module Name: 13 14 TemporaryRamSupport.c 15 16 Abstract: 17 18 This file declares Temporary RAM Support PPI. 19 This Ppi provides the service that migrates temporary RAM into permanent memory. 20 21 --*/ 22 23 #include "Tiano.h" 24 #include "PeiBind.h" 25 #include "PeiApi.h" 26 #include EFI_PPI_DEFINITION (TemporaryRamSupport) 27 28 EFI_GUID gEfiTemporaryRamSupportPpiGuid = TEMPORARY_RAM_SUPPORT_PPI_GUID; 29 30 EFI_GUID_STRING(&gEfiTemporaryRamSupportPpiGuid, "TemporaryRamSupportPpi", "TemporaryRamSupport PPI"); 31