34   #define UL64(x) x##ui64  macro
36   #define UL64(x) x##ULL  macro
110         ctx->state[0] = UL64(0x6A09E667F3BCC908);  in mbedtls_sha512_starts()
111         ctx->state[1] = UL64(0xBB67AE8584CAA73B);  in mbedtls_sha512_starts()
112         ctx->state[2] = UL64(0x3C6EF372FE94F82B);  in mbedtls_sha512_starts()
113         ctx->state[3] = UL64(0xA54FF53A5F1D36F1);  in mbedtls_sha512_starts()
114         ctx->state[4] = UL64(0x510E527FADE682D1);  in mbedtls_sha512_starts()
115         ctx->state[5] = UL64(0x9B05688C2B3E6C1F);  in mbedtls_sha512_starts()
116         ctx->state[6] = UL64(0x1F83D9ABFB41BD6B);  in mbedtls_sha512_starts()
117         ctx->state[7] = UL64(0x5BE0CD19137E2179);  in mbedtls_sha512_starts()
125         ctx->state[0] = UL64(0xCBBB9D5DC1059ED8);  in mbedtls_sha512_starts()
126         ctx->state[1] = UL64(0x629A292A367CD507);  in mbedtls_sha512_starts()
127         ctx->state[2] = UL64(0x9159015A3070DD17);  in mbedtls_sha512_starts()
128         ctx->state[3] = UL64(0x152FECD8F70E5939);  in mbedtls_sha512_starts()
129         ctx->state[4] = UL64(0x67332667FFC00B31);  in mbedtls_sha512_starts()
130         ctx->state[5] = UL64(0x8EB44A8768581511);  in mbedtls_sha512_starts()
131         ctx->state[6] = UL64(0xDB0C2E0D64F98FA7);  in mbedtls_sha512_starts()
132         ctx->state[7] = UL64(0x47B5481DBEFA4FA4);  in mbedtls_sha512_starts()
150     UL64(0x428A2F98D728AE22),  UL64(0x7137449123EF65CD),
151     UL64(0xB5C0FBCFEC4D3B2F),  UL64(0xE9B5DBA58189DBBC),
152     UL64(0x3956C25BF348B538),  UL64(0x59F111F1B605D019),
153     UL64(0x923F82A4AF194F9B),  UL64(0xAB1C5ED5DA6D8118),
154     UL64(0xD807AA98A3030242),  UL64(0x12835B0145706FBE),
155     UL64(0x243185BE4EE4B28C),  UL64(0x550C7DC3D5FFB4E2),
156     UL64(0x72BE5D74F27B896F),  UL64(0x80DEB1FE3B1696B1),
157     UL64(0x9BDC06A725C71235),  UL64(0xC19BF174CF692694),
158     UL64(0xE49B69C19EF14AD2),  UL64(0xEFBE4786384F25E3),
159     UL64(0x0FC19DC68B8CD5B5),  UL64(0x240CA1CC77AC9C65),
160     UL64(0x2DE92C6F592B0275),  UL64(0x4A7484AA6EA6E483),
161     UL64(0x5CB0A9DCBD41FBD4),  UL64(0x76F988DA831153B5),
162     UL64(0x983E5152EE66DFAB),  UL64(0xA831C66D2DB43210),
163     UL64(0xB00327C898FB213F),  UL64(0xBF597FC7BEEF0EE4),
164     UL64(0xC6E00BF33DA88FC2),  UL64(0xD5A79147930AA725),
165     UL64(0x06CA6351E003826F),  UL64(0x142929670A0E6E70),
166     UL64(0x27B70A8546D22FFC),  UL64(0x2E1B21385C26C926),
167     UL64(0x4D2C6DFC5AC42AED),  UL64(0x53380D139D95B3DF),
168     UL64(0x650A73548BAF63DE),  UL64(0x766A0ABB3C77B2A8),
169     UL64(0x81C2C92E47EDAEE6),  UL64(0x92722C851482353B),
170     UL64(0xA2BFE8A14CF10364),  UL64(0xA81A664BBC423001),
171     UL64(0xC24B8B70D0F89791),  UL64(0xC76C51A30654BE30),
172     UL64(0xD192E819D6EF5218),  UL64(0xD69906245565A910),
173     UL64(0xF40E35855771202A),  UL64(0x106AA07032BBD1B8),
174     UL64(0x19A4C116B8D2D0C8),  UL64(0x1E376C085141AB53),
175     UL64(0x2748774CDF8EEB99),  UL64(0x34B0BCB5E19B48A8),
176     UL64(0x391C0CB3C5C95A63),  UL64(0x4ED8AA4AE3418ACB),
177     UL64(0x5B9CCA4F7763E373),  UL64(0x682E6FF3D6B2B8A3),
178     UL64(0x748F82EE5DEFB2FC),  UL64(0x78A5636F43172F60),
179     UL64(0x84C87814A1F0AB72),  UL64(0x8CC702081A6439EC),
180     UL64(0x90BEFFFA23631E28),  UL64(0xA4506CEBDE82BDE9),
181     UL64(0xBEF9A3F7B2C67915),  UL64(0xC67178F2E372532B),
182     UL64(0xCA273ECEEA26619C),  UL64(0xD186B8C721C0C207),
183     UL64(0xEADA7DD6CDE0EB1E),  UL64(0xF57D4F7FEE6ED178),
184     UL64(0x06F067AA72176FBA),  UL64(0x0A637DC5A2C898A6),
185     UL64(0x113F9804BEF90DAE),  UL64(0x1B710B35131C471B),
186     UL64(0x28DB77F523047D84),  UL64(0x32CAAB7B40C72493),
187     UL64(0x3C9EBE0A15C9BEBC),  UL64(0x431D67C49C100D4C),
188     UL64(0x4CC5D4BECB3E42B6),  UL64(0x597F299CFC657E2A),
189     UL64(0x5FCB6FAB3AD6FAEC),  UL64(0x6C44198C4A475817)