/* Updates the CRC32 value in the table header. */
VOID PartitionSetCrc(IN OUT EFI_TABLE_HEADER *Hdr)
/* Updates the CRC32 value in the table header. */
VOID PartitionSetCrc(IN OUT EFI_TABLE_HEADER *Hdr)
{
  PartitionSetCrcAltSize (Hdr->HeaderSize, Hdr);
}