#ifndef _PEI_DEVICE_RECOVERY_MODULE_PPI_H_\r
#define _PEI_DEVICE_RECOVERY_MODULE_PPI_H_\r
\r
-#include <PiPei.h>\r
-\r
#define EFI_PEI_DEVICE_RECOVERY_MODULE_PPI_GUID \\r
{ \\r
0x0DE2CE25, 0x446A, 0x45a7, {0xBF, 0xC9, 0x37, 0xDA, 0x26, 0x34, 0x4B, 0x37 } \\r