PHP_WHIRLPOOLFinal  439 hash/hash_whirlpool.c 	(php_hash_final_func_t) PHP_WHIRLPOOLFinal,
PHP_WHIRLPOOLFinal   37 hash/php_hash_whirlpool.h PHP_HASH_API void PHP_WHIRLPOOLFinal(unsigned char[64], PHP_WHIRLPOOL_CTX *);