396         uint64x2_t initial_sum, sum, intermed;  in mbedtls_internal_sha512_process_many_a64_crypto()  local
424         initial_sum = vaddq_u64(s0, vld1q_u64(&K[0]));  in mbedtls_internal_sha512_process_many_a64_crypto()
425         sum = vaddq_u64(vextq_u64(initial_sum, initial_sum, 1), gh);  in mbedtls_internal_sha512_process_many_a64_crypto()
431         initial_sum = vaddq_u64(s1, vld1q_u64(&K[2]));  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()
438         initial_sum = vaddq_u64(s2, vld1q_u64(&K[4]));  in mbedtls_internal_sha512_process_many_a64_crypto()
439         sum = vaddq_u64(vextq_u64(initial_sum, initial_sum, 1), cd);  in mbedtls_internal_sha512_process_many_a64_crypto()
445         initial_sum = vaddq_u64(s3, vld1q_u64(&K[6]));  in mbedtls_internal_sha512_process_many_a64_crypto()
446         sum = vaddq_u64(vextq_u64(initial_sum, initial_sum, 1), ab);  in mbedtls_internal_sha512_process_many_a64_crypto()
452         initial_sum = vaddq_u64(s4, vld1q_u64(&K[8]));  in mbedtls_internal_sha512_process_many_a64_crypto()
453         sum = vaddq_u64(vextq_u64(initial_sum, initial_sum, 1), gh);  in mbedtls_internal_sha512_process_many_a64_crypto()
459         initial_sum = vaddq_u64(s5, vld1q_u64(&K[10]));  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()
466         initial_sum = vaddq_u64(s6, vld1q_u64(&K[12]));  in mbedtls_internal_sha512_process_many_a64_crypto()
467         sum = vaddq_u64(vextq_u64(initial_sum, initial_sum, 1), cd);  in mbedtls_internal_sha512_process_many_a64_crypto()
473         initial_sum = vaddq_u64(s7, vld1q_u64(&K[14]));  in mbedtls_internal_sha512_process_many_a64_crypto()
474         sum = vaddq_u64(vextq_u64(initial_sum, initial_sum, 1), ab);  in mbedtls_internal_sha512_process_many_a64_crypto()
482             initial_sum = vaddq_u64(s0, vld1q_u64(&K[t]));  in mbedtls_internal_sha512_process_many_a64_crypto()
483             sum = vaddq_u64(vextq_u64(initial_sum, initial_sum, 1), gh);  in mbedtls_internal_sha512_process_many_a64_crypto()
490             initial_sum = vaddq_u64(s1, vld1q_u64(&K[t + 2]));  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()
498             initial_sum = vaddq_u64(s2, vld1q_u64(&K[t + 4]));  in mbedtls_internal_sha512_process_many_a64_crypto()
499             sum = vaddq_u64(vextq_u64(initial_sum, initial_sum, 1), cd);  in mbedtls_internal_sha512_process_many_a64_crypto()
506             initial_sum = vaddq_u64(s3, vld1q_u64(&K[t + 6]));  in mbedtls_internal_sha512_process_many_a64_crypto()
507             sum = vaddq_u64(vextq_u64(initial_sum, initial_sum, 1), ab);  in mbedtls_internal_sha512_process_many_a64_crypto()
514             initial_sum = vaddq_u64(s4, vld1q_u64(&K[t + 8]));  in mbedtls_internal_sha512_process_many_a64_crypto()
515             sum = vaddq_u64(vextq_u64(initial_sum, initial_sum, 1), gh);  in mbedtls_internal_sha512_process_many_a64_crypto()
522             initial_sum = vaddq_u64(s5, vld1q_u64(&K[t + 10]));  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()
530             initial_sum = vaddq_u64(s6, vld1q_u64(&K[t + 12]));  in mbedtls_internal_sha512_process_many_a64_crypto()
531             sum = vaddq_u64(vextq_u64(initial_sum, initial_sum, 1), cd);  in mbedtls_internal_sha512_process_many_a64_crypto()
538             initial_sum = vaddq_u64(s7, vld1q_u64(&K[t + 14]));  in mbedtls_internal_sha512_process_many_a64_crypto()
539             sum = vaddq_u64(vextq_u64(initial_sum, initial_sum, 1), ab);  in mbedtls_internal_sha512_process_many_a64_crypto()