SHA512_Final
__weak_alias(SHA512_Final,_SHA512_Final)
SHA512_Final((unsigned char *) res->v, (SHA512_CTX *)c);
SHA512_Final(md, data(ctx));
SHA512_Final,
SHA512_Final(digest, context);
void SHA512_Final __P((u_int8_t[SHA512_DIGEST_LENGTH], SHA512_CTX*));
(void *)SHA512_Final,
SHA512_Final(digest, &ctx);
SHA512_Final(digest, &ctx);
SHA512_Init, SHA512_Update, SHA512_Final);
(void (*)(uint8_t *, void *))(void *)SHA512_Final
int SHA512_Final(uint8_t[SHA512_DIGEST_LENGTH], SHA512_CTX*);
SHA512_Final(digest + j, &ctx);