386     uint64x2_t ef = vld1q_u64(&ctx->state[4]);  in mbedtls_internal_sha512_process_many_a64_crypto()  local
400         uint64x2_t ef_orig = ef;  in mbedtls_internal_sha512_process_many_a64_crypto()
426         intermed = vsha512hq_u64(sum, vextq_u64(ef, gh, 1), vextq_u64(cd, ef, 1));  in mbedtls_internal_sha512_process_many_a64_crypto()
432         sum = vaddq_u64(vextq_u64(initial_sum, initial_sum, 1), ef);  in mbedtls_internal_sha512_process_many_a64_crypto()
433         intermed = vsha512hq_u64(sum, vextq_u64(cd, ef, 1), vextq_u64(ab, cd, 1));  in mbedtls_internal_sha512_process_many_a64_crypto()
434         ef = vsha512h2q_u64(intermed, ab, gh);  in mbedtls_internal_sha512_process_many_a64_crypto()
441         cd = vsha512h2q_u64(intermed, gh, ef);  in mbedtls_internal_sha512_process_many_a64_crypto()
447         intermed = vsha512hq_u64(sum, vextq_u64(gh, ab, 1), vextq_u64(ef, gh, 1));  in mbedtls_internal_sha512_process_many_a64_crypto()
448         ab = vsha512h2q_u64(intermed, ef, cd);  in mbedtls_internal_sha512_process_many_a64_crypto()
449         ef = vaddq_u64(ef, intermed);  in mbedtls_internal_sha512_process_many_a64_crypto()
454         intermed = vsha512hq_u64(sum, vextq_u64(ef, gh, 1), vextq_u64(cd, ef, 1));  in mbedtls_internal_sha512_process_many_a64_crypto()
460         sum = vaddq_u64(vextq_u64(initial_sum, initial_sum, 1), ef);  in mbedtls_internal_sha512_process_many_a64_crypto()
461         intermed = vsha512hq_u64(sum, vextq_u64(cd, ef, 1), vextq_u64(ab, cd, 1));  in mbedtls_internal_sha512_process_many_a64_crypto()
462         ef = vsha512h2q_u64(intermed, ab, gh);  in mbedtls_internal_sha512_process_many_a64_crypto()
469         cd = vsha512h2q_u64(intermed, gh, ef);  in mbedtls_internal_sha512_process_many_a64_crypto()
475         intermed = vsha512hq_u64(sum, vextq_u64(gh, ab, 1), vextq_u64(ef, gh, 1));  in mbedtls_internal_sha512_process_many_a64_crypto()
476         ab = vsha512h2q_u64(intermed, ef, cd);  in mbedtls_internal_sha512_process_many_a64_crypto()
477         ef = vaddq_u64(ef, intermed);  in mbedtls_internal_sha512_process_many_a64_crypto()
484             intermed = vsha512hq_u64(sum, vextq_u64(ef, gh, 1), vextq_u64(cd, ef, 1));  in mbedtls_internal_sha512_process_many_a64_crypto()
491             sum = vaddq_u64(vextq_u64(initial_sum, initial_sum, 1), ef);  in mbedtls_internal_sha512_process_many_a64_crypto()
492             intermed = vsha512hq_u64(sum, vextq_u64(cd, ef, 1), vextq_u64(ab, cd, 1));  in mbedtls_internal_sha512_process_many_a64_crypto()
493             ef = vsha512h2q_u64(intermed, ab, gh);  in mbedtls_internal_sha512_process_many_a64_crypto()
501             cd = vsha512h2q_u64(intermed, gh, ef);  in mbedtls_internal_sha512_process_many_a64_crypto()
508             intermed = vsha512hq_u64(sum, vextq_u64(gh, ab, 1), vextq_u64(ef, gh, 1));  in mbedtls_internal_sha512_process_many_a64_crypto()
509             ab = vsha512h2q_u64(intermed, ef, cd);  in mbedtls_internal_sha512_process_many_a64_crypto()
510             ef = vaddq_u64(ef, intermed);  in mbedtls_internal_sha512_process_many_a64_crypto()
516             intermed = vsha512hq_u64(sum, vextq_u64(ef, gh, 1), vextq_u64(cd, ef, 1));  in mbedtls_internal_sha512_process_many_a64_crypto()
523             sum = vaddq_u64(vextq_u64(initial_sum, initial_sum, 1), ef);  in mbedtls_internal_sha512_process_many_a64_crypto()
524             intermed = vsha512hq_u64(sum, vextq_u64(cd, ef, 1), vextq_u64(ab, cd, 1));  in mbedtls_internal_sha512_process_many_a64_crypto()
525             ef = vsha512h2q_u64(intermed, ab, gh);  in mbedtls_internal_sha512_process_many_a64_crypto()
533             cd = vsha512h2q_u64(intermed, gh, ef);  in mbedtls_internal_sha512_process_many_a64_crypto()
540             intermed = vsha512hq_u64(sum, vextq_u64(gh, ab, 1), vextq_u64(ef, gh, 1));  in mbedtls_internal_sha512_process_many_a64_crypto()
541             ab = vsha512h2q_u64(intermed, ef, cd);  in mbedtls_internal_sha512_process_many_a64_crypto()
542             ef = vaddq_u64(ef, intermed);  in mbedtls_internal_sha512_process_many_a64_crypto()
547         ef = vaddq_u64(ef, ef_orig);  in mbedtls_internal_sha512_process_many_a64_crypto()
553     vst1q_u64(&ctx->state[4], ef);  in mbedtls_internal_sha512_process_many_a64_crypto()