SHA512_File(3) on FreeBSD

The text bceb8528a8b3, as FreeBSD 11.1-RELEASE shipped it.

calculate the FIPS 180-4 ``SHA-512'' family of message digests

SHA512_File(3) on FreeBSD now