TianoCore EDK2 master
Loading...
Searching...
No Matches
SecretPei.c
Go to the documentation of this file.
1
7#include <Base.h>
8#include <PiPei.h>
9#include <Library/HobLib.h>
10#include <Library/PcdLib.h>
11
12EFI_STATUS
13EFIAPI
14InitializeSecretPei (
15 IN EFI_PEI_FILE_HANDLE FileHandle,
16 IN CONST EFI_PEI_SERVICES **PeiServices
17 )
18{
19 BuildMemoryAllocationHob (
20 PcdGet32 (PcdSevLaunchSecretBase),
21 ALIGN_VALUE (PcdGet32 (PcdSevLaunchSecretSize), EFI_PAGE_SIZE),
22 EfiReservedMemoryType
23 );
24
25 return EFI_SUCCESS;
26}
BuildMemoryAllocationHob
VOID EFIAPI BuildMemoryAllocationHob(IN EFI_PHYSICAL_ADDRESS BaseAddress, IN UINT64 Length, IN EFI_MEMORY_TYPE MemoryType)
Definition: HobLib.c:601
CONST
#define CONST
Definition: Base.h:259
ALIGN_VALUE
#define ALIGN_VALUE(Value, Alignment)
Definition: Base.h:948
IN
#define IN
Definition: Base.h:279
PcdGet32
#define PcdGet32(TokenName)
Definition: PcdLib.h:362
EFI_PEI_FILE_HANDLE
VOID * EFI_PEI_FILE_HANDLE
Definition: PiPeiCis.h:26
EFI_STATUS
RETURN_STATUS EFI_STATUS
Definition: UefiBaseType.h:29
EFI_SUCCESS
#define EFI_SUCCESS
Definition: UefiBaseType.h:112
EfiReservedMemoryType
@ EfiReservedMemoryType
Definition: UefiMultiPhase.h:42
_EFI_PEI_SERVICES
Definition: PiPeiCis.h:877