PHP_SHA512Final  1030 hash/hash_sha.c 	(php_hash_final_func_t) PHP_SHA512Final,
PHP_SHA512Final    95 hash/php_hash_sha.h PHP_HASH_API void PHP_SHA512Final(unsigned char[64], PHP_SHA512_CTX *);
PHP_SHA512Final  1933 phar/util.c    			PHP_SHA512Final(digest, &context);
PHP_SHA512Final  2086 phar/util.c    			PHP_SHA512Final(digest, &context);