write_octeon_64bit_hash_sha512
write_octeon_64bit_hash_sha512(state->h[0], 0);
write_octeon_64bit_hash_sha512(state->h[1], 1);
write_octeon_64bit_hash_sha512(state->h[2], 2);
write_octeon_64bit_hash_sha512(state->h[3], 3);
write_octeon_64bit_hash_sha512(state->h[4], 4);
write_octeon_64bit_hash_sha512(state->h[5], 5);
write_octeon_64bit_hash_sha512(state->h[6], 6);
write_octeon_64bit_hash_sha512(state->h[7], 7);