/* This function returns the pointer to first HOB in the list. */
VOID* EFIAPI PrePeiGetHobList(VOID)
/* This function returns the pointer to first HOB in the list. */
VOID* EFIAPI PrePeiGetHobList(VOID)
{
  TDX_WORK_AREA  *TdxWorkArea;
  TdxWorkArea = (TDX_WORK_AREA *)(UINTN)FixedPcdGet32 (PcdOvmfWorkAreaBase);
  ASSERT (TdxWorkArea != NULL);
  ASSERT (TdxWorkArea->SecTdxWorkArea.HobList != 0);
  return (VOID *)(UINTN)TdxWorkArea->SecTdxWorkArea.HobList;
}