EFI_HEADER_SIZE
efi->efi_gpt_HeaderSize = LE_32(EFI_HEADER_SIZE);
EFI_HEADER_SIZE));
LE_32(efi_crc32((unsigned char *)dk_ioc.dki_data, EFI_HEADER_SIZE));
gpt.efi_gpt_HeaderSize = LE_32(EFI_HEADER_SIZE);
CRC32(crc, &gpt, EFI_HEADER_SIZE, -1U, crc32_table);
gpt->efi_gpt_HeaderSize = LE_32(EFI_HEADER_SIZE);
CRC32(crc, gpt, EFI_HEADER_SIZE, -1U, crc32_table);