isc_sha512_final
isc_sha512_final(hkey->key, &sha512ctx);
void isc_sha512_final (uint8_t[ISC_SHA512_DIGESTLENGTH], isc_sha512_t *);