1 /*++
2 
3 Copyright (c) 1999 - 2002, 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 
13 Module Name:
14 
15   DeviceRecoveryModule.c
16 
17 Abstract:
18 
19   Device Recovery Module PPI GUID as defined in PEI EAS
20 
21 --*/
22 
23 #include "Tiano.h"
24 #include "PeiBind.h"
25 #include "PeiApi.h"
26 #include EFI_PPI_DEFINITION (DeviceRecoveryModule)
27 
28 EFI_GUID  gPeiDeviceRecoveryModulePpiGuid = PEI_DEVICE_RECOVERY_MODULE_INTERFACE_PPI;
29 
30 EFI_GUID_STRING(&gPeiDeviceRecoveryModulePpiGuid, "DeviceRecoveryModule", "Device Recovery Module PPI");
31