/* Build the GuidHob for tdx measurements which were done in SEC phase. The measurement values are stored in WorkArea. */
EFI_STATUS EFIAPI TdxHelperBuildGuidHobForTdxMeasurement(VOID)
/* Build the GuidHob for tdx measurements which were done in SEC phase. The measurement values are stored in WorkArea. */
EFI_STATUS EFIAPI TdxHelperBuildGuidHobForTdxMeasurement(VOID)
{
  return InternalBuildGuidHobForTdxMeasurement ();
}