#ifndef __PEI_CPUIO_PPI_H__\r
#define __PEI_CPUIO_PPI_H__\r
\r
+#include <ProcessorBind.h>\r
+#include <Pi/PiPeiCis.h>\r
+\r
#define EFI_PEI_CPU_IO_PPI_INSTALLED_GUID \\r
{ 0xe6af1f7b, 0xfc3f, 0x46da, {0xa8, 0x28, 0xa3, 0xb4, 0x57, 0xa4, 0x42, 0x82 } }\r
\r
#ifndef __PEI_PCI_CFG2_H__\r
#define __PEI_PCI_CFG2_H__\r
\r
+#include <ProcessorBind.h>\r
+#include <Pi/PiPeiCis.h>\r
\r
#define EFI_PEI_PCI_CFG2_PPI_GUID \\r
{ 0x57a449a, 0x1fdc, 0x4c06, { 0xbf, 0xc9, 0xf5, 0x3f, 0x6a, 0x99, 0xbb, 0x92 } }\r