/** @file | |
Initialize Intel TDX support. | |
Copyright (c) 2021, Intel Corporation. All rights reserved.<BR> | |
SPDX-License-Identifier: BSD-2-Clause-Patent | |
**/ | |
#include <PiPei.h> | |
/** | |
In Tdx guest, the system memory is passed in TdHob by host VMM. So | |
the major task of PlatformTdxPublishRamRegions is to walk thru the | |
TdHob list and transfer the ResourceDescriptorHob and MemoryAllocationHob | |
to the hobs in DXE phase. | |
MemoryAllocationHob should also be created for Mailbox and Ovmf work area. | |
**/ | |
VOID | |
EFIAPI | |
PlatformTdxPublishRamRegions ( | |
VOID | |
) | |
{ | |
} |