#include <Library/PcdLib.h>\r
#include <Library/PeiServicesLib.h>\r
\r
-\r
/**\r
Publish PEI & DXE (Decompressed) Memory based FVs to let PEI\r
and DXE know about them.\r
VOID\r
)\r
{\r
- BOOLEAN SecureS3Needed;\r
+ BOOLEAN SecureS3Needed;\r
\r
DEBUG ((DEBUG_INFO, "Platform PEI Firmware Volume Initialization\n"));\r
\r
// of DXEFV, so let's keep away the OS from there too.\r
//\r
if (SecureS3Needed) {\r
- UINT32 DxeMemFvEnd;\r
+ UINT32 DxeMemFvEnd;\r
\r
DxeMemFvEnd = PcdGet32 (PcdOvmfDxeMemFvBase) +\r
PcdGet32 (PcdOvmfDxeMemFvSize);\r
//\r
PeiServicesInstallFvInfoPpi (\r
NULL,\r
- (VOID *)(UINTN) PcdGet32 (PcdOvmfDxeMemFvBase),\r
+ (VOID *)(UINTN)PcdGet32 (PcdOvmfDxeMemFvBase),\r
PcdGet32 (PcdOvmfDxeMemFvSize),\r
NULL,\r
NULL\r
\r
return EFI_SUCCESS;\r
}\r
-\r