125         ctx->state[0] = UL64(0x6A09E667F3BCC908);  in mbedtls_sha512_starts()
126         ctx->state[1] = UL64(0xBB67AE8584CAA73B);  in mbedtls_sha512_starts()
127         ctx->state[2] = UL64(0x3C6EF372FE94F82B);  in mbedtls_sha512_starts()
128         ctx->state[3] = UL64(0xA54FF53A5F1D36F1);  in mbedtls_sha512_starts()
129         ctx->state[4] = UL64(0x510E527FADE682D1);  in mbedtls_sha512_starts()
130         ctx->state[5] = UL64(0x9B05688C2B3E6C1F);  in mbedtls_sha512_starts()
131         ctx->state[6] = UL64(0x1F83D9ABFB41BD6B);  in mbedtls_sha512_starts()
132         ctx->state[7] = UL64(0x5BE0CD19137E2179);  in mbedtls_sha512_starts()
137         ctx->state[0] = UL64(0xCBBB9D5DC1059ED8);  in mbedtls_sha512_starts()
138         ctx->state[1] = UL64(0x629A292A367CD507);  in mbedtls_sha512_starts()
139         ctx->state[2] = UL64(0x9159015A3070DD17);  in mbedtls_sha512_starts()
140         ctx->state[3] = UL64(0x152FECD8F70E5939);  in mbedtls_sha512_starts()
141         ctx->state[4] = UL64(0x67332667FFC00B31);  in mbedtls_sha512_starts()
142         ctx->state[5] = UL64(0x8EB44A8768581511);  in mbedtls_sha512_starts()
143         ctx->state[6] = UL64(0xDB0C2E0D64F98FA7);  in mbedtls_sha512_starts()
144         ctx->state[7] = UL64(0x47B5481DBEFA4FA4);  in mbedtls_sha512_starts()
235     A = ctx->state[0];  in mbedtls_sha512_process()
236     B = ctx->state[1];  in mbedtls_sha512_process()
237     C = ctx->state[2];  in mbedtls_sha512_process()
238     D = ctx->state[3];  in mbedtls_sha512_process()
239     E = ctx->state[4];  in mbedtls_sha512_process()
240     F = ctx->state[5];  in mbedtls_sha512_process()
241     G = ctx->state[6];  in mbedtls_sha512_process()
242     H = ctx->state[7];  in mbedtls_sha512_process()
258     ctx->state[0] += A;  in mbedtls_sha512_process()
259     ctx->state[1] += B;  in mbedtls_sha512_process()
260     ctx->state[2] += C;  in mbedtls_sha512_process()
261     ctx->state[3] += D;  in mbedtls_sha512_process()
262     ctx->state[4] += E;  in mbedtls_sha512_process()
263     ctx->state[5] += F;  in mbedtls_sha512_process()
264     ctx->state[6] += G;  in mbedtls_sha512_process()
265     ctx->state[7] += H;  in mbedtls_sha512_process()
343     PUT_UINT64_BE( ctx->state[0], output,  0 );  in mbedtls_sha512_finish()
344     PUT_UINT64_BE( ctx->state[1], output,  8 );  in mbedtls_sha512_finish()
345     PUT_UINT64_BE( ctx->state[2], output, 16 );  in mbedtls_sha512_finish()
346     PUT_UINT64_BE( ctx->state[3], output, 24 );  in mbedtls_sha512_finish()
347     PUT_UINT64_BE( ctx->state[4], output, 32 );  in mbedtls_sha512_finish()
348     PUT_UINT64_BE( ctx->state[5], output, 40 );  in mbedtls_sha512_finish()
352         PUT_UINT64_BE( ctx->state[6], output, 48 );  in mbedtls_sha512_finish()
353         PUT_UINT64_BE( ctx->state[7], output, 56 );  in mbedtls_sha512_finish()