/* MemoryAllocationHob should also be created for Mailbox and Ovmf work area.  */
VOID EFIAPI PlatformTdxPublishRamRegions(VOID)
/* MemoryAllocationHob should also be created for Mailbox and Ovmf work area.  */
VOID EFIAPI PlatformTdxPublishRamRegions(VOID)
{
  if (!TdIsEnabled ()) {
    return;
  }
  TransferTdxHobList ();
  BuildMemoryAllocationHob (
    FixedPcdGet32 (PcdOvmfSecGhcbBackupBase),
    FixedPcdGet32 (PcdOvmfSecGhcbBackupSize),
    EfiACPIMemoryNVS
    );
  if (FixedPcdGet32 (PcdOvmfWorkAreaSize) != 0) {
    BuildMemoryAllocationHob (
      (EFI_PHYSICAL_ADDRESS)(UINTN)FixedPcdGet32 (PcdOvmfWorkAreaBase),
      (UINT64)(UINTN)FixedPcdGet32 (PcdOvmfWorkAreaSize),
      EfiBootServicesData
      );
  }
}