/* Calculate the 32-bit CRC in a EFI table using the service provided by the gRuntime service. */
VOID CalculateEfiHdrCrc(IN OUT EFI_TABLE_HEADER *Hdr)
/* Calculate the 32-bit CRC in a EFI table using the service provided by the gRuntime service. */
VOID CalculateEfiHdrCrc(IN OUT EFI_TABLE_HEADER *Hdr)
{
  UINT32  Crc;
  Hdr->CRC32 = 0;
  Crc = 0;
  gBS->CalculateCrc32 ((UINT8 *)Hdr, Hdr->HeaderSize, &Crc);
  Hdr->CRC32 = Crc;
}