efi_crc32
crc = efi_crc32((unsigned char *)header,
crc = efi_crc32((unsigned char *)gpet,
LE_32(efi_crc32((unsigned char *)efi_parts,
efi->efi_gpt_HeaderCRC32 = LE_32(efi_crc32((unsigned char *)efi,
LE_32(efi_crc32((unsigned char *)dk_ioc.dki_data, EFI_HEADER_SIZE));
extern unsigned int efi_crc32(const unsigned char *, unsigned int);
crc != LE_32(efi_crc32((unsigned char *)efi,
crc, LE_32(efi_crc32((unsigned char *)efi,