#ifndef __PEI_READ_ONLY_VARIABLE_PPI_H__\r
#define __PEI_READ_ONLY_VARIABLE_PPI_H__\r
\r
-#include <PiPei.h>\r
-\r
#define EFI_PEI_READ_ONLY_VARIABLE_ACCESS_PPI_GUID \\r
{ \\r
0x3cdc90c6, 0x13fb, 0x4a75, {0x9e, 0x79, 0x59, 0xe9, 0xdd, 0x78, 0xb9, 0xfa } \\r