/* Updates the CRC32 value in the table header. */
VOID PartitionSetCrcAltSize(IN UINTN Size, IN OUT EFI_TABLE_HEADER *Hdr)
/* Updates the CRC32 value in the table header. */
VOID PartitionSetCrcAltSize(IN UINTN Size, IN OUT EFI_TABLE_HEADER *Hdr)
{
  UINT32  Crc;
  Hdr->CRC32 = 0;
  gBS->CalculateCrc32 ((UINT8 *)Hdr, Size, &Crc);
  Hdr->CRC32 = Crc;
}