#ifndef _PEI_BOOT_SCRIPT_EXECUTER_PPI_H\r
#define _PEI_BOOT_SCRIPT_EXECUTER_PPI_H\r
\r
+#include <PiPei.h>\r
+\r
#define EFI_PEI_BOOT_SCRIPT_EXECUTER_PPI_GUID \\r
{ \\r
0xabd42895, 0x78cf, 0x4872, {0x84, 0x44, 0x1b, 0x5c, 0x18, 0x0b, 0xfb, 0xff } \\r