/* Calculate the 32-bit CRC in a EFI table using the Runtime Drivers internal function. The EFI Boot Services Table can not be used because the EFI Boot Services Table was destroyed at ExitBootServices(). This is a internal function. */
VOID RuntimeDriverCalculateEfiHdrCrc(IN OUT EFI_TABLE_HEADER *Hdr)
/* Calculate the 32-bit CRC in a EFI table using the Runtime Drivers internal function. The EFI Boot Services Table can not be used because the EFI Boot Services Table was destroyed at ExitBootServices(). This is a internal function. */
VOID RuntimeDriverCalculateEfiHdrCrc(IN OUT EFI_TABLE_HEADER *Hdr)
{
  UINT32  Crc;
  Hdr->CRC32 = 0;
  Crc = 0;
  RuntimeDriverCalculateCrc32 ((UINT8 *)Hdr, Hdr->HeaderSize, &Crc);
  Hdr->CRC32 = Crc;
}