#define EFI_PEI_LOAD_FILE_PPI_GUID \\r
{ 0xb9e0abfe, 0x5979, 0x4914, { 0x97, 0x7f, 0x6d, 0xee, 0x78, 0xc2, 0x78, 0xa6 } }\r
\r
-\r
typedef struct _EFI_PEI_LOAD_FILE_PPI EFI_PEI_LOAD_FILE_PPI;\r
\r
/**\r
OUT UINT64 *ImageSize,\r
OUT EFI_PHYSICAL_ADDRESS *EntryPoint,\r
OUT UINT32 *AuthenticationState\r
-);\r
+ );\r
\r
///\r
/// This PPI is a pointer to the Load File service.\r
/// will use this service to launch the known PEI module images.\r
///\r
struct _EFI_PEI_LOAD_FILE_PPI {\r
- EFI_PEI_LOAD_FILE LoadFile;\r
+ EFI_PEI_LOAD_FILE LoadFile;\r
};\r
\r
-extern EFI_GUID gEfiPeiLoadFilePpiGuid;\r
+extern EFI_GUID gEfiPeiLoadFilePpiGuid;\r
\r
#endif\r