#include <Library/UefiBootServicesTableLib.h>\r
#include <Guid/ConfidentialComputingSecret.h>\r
\r
-STATIC CONFIDENTIAL_COMPUTING_SECRET_LOCATION mSecretDxeTable = {\r
+STATIC CONFIDENTIAL_COMPUTING_SECRET_LOCATION mSecretDxeTable = {\r
FixedPcdGet32 (PcdSevLaunchSecretBase),\r
FixedPcdGet32 (PcdSevLaunchSecretSize),\r
};\r
\r
EFI_STATUS\r
EFIAPI\r
-InitializeSecretDxe(\r
- IN EFI_HANDLE ImageHandle,\r
- IN EFI_SYSTEM_TABLE *SystemTable\r
+InitializeSecretDxe (\r
+ IN EFI_HANDLE ImageHandle,\r
+ IN EFI_SYSTEM_TABLE *SystemTable\r
)\r
{\r
return gBS->InstallConfigurationTable (\r