Home
last modified time | relevance | path

Searched refs:t01 (Results 1 – 2 of 2) sorted by relevance

/mbedtls-latest/3rdparty/everest/library/
DHacl_Curve25519.c251 uint64_t *t01; in Hacl_Bignum_Crecip_crecip() local
265 t01 = buf + (uint32_t)5U; in Hacl_Bignum_Crecip_crecip()
268 Hacl_Bignum_Fmul_fmul(b1, t01, b1); in Hacl_Bignum_Crecip_crecip()
269 Hacl_Bignum_Fsquare_fsquare_times(t01, b1, (uint32_t)10U); in Hacl_Bignum_Crecip_crecip()
270 Hacl_Bignum_Fmul_fmul(c0, t01, b1); in Hacl_Bignum_Crecip_crecip()
271 Hacl_Bignum_Fsquare_fsquare_times(t01, c0, (uint32_t)20U); in Hacl_Bignum_Crecip_crecip()
272 Hacl_Bignum_Fmul_fmul(t01, t01, c0); in Hacl_Bignum_Crecip_crecip()
273 Hacl_Bignum_Fsquare_fsquare_times_inplace(t01, (uint32_t)10U); in Hacl_Bignum_Crecip_crecip()
274 Hacl_Bignum_Fmul_fmul(b1, t01, b1); in Hacl_Bignum_Crecip_crecip()
275 Hacl_Bignum_Fsquare_fsquare_times(t01, b1, (uint32_t)50U); in Hacl_Bignum_Crecip_crecip()
/mbedtls-latest/3rdparty/everest/library/legacy/
DHacl_Curve25519.c293 uint64_t *t01; in Hacl_Bignum_Crecip_crecip() local
307 t01 = buf + (uint32_t)5U; in Hacl_Bignum_Crecip_crecip()
310 Hacl_Bignum_Fmul_fmul(b1, t01, b1); in Hacl_Bignum_Crecip_crecip()
311 Hacl_Bignum_Fsquare_fsquare_times(t01, b1, (uint32_t)10U); in Hacl_Bignum_Crecip_crecip()
312 Hacl_Bignum_Fmul_fmul(c0, t01, b1); in Hacl_Bignum_Crecip_crecip()
313 Hacl_Bignum_Fsquare_fsquare_times(t01, c0, (uint32_t)20U); in Hacl_Bignum_Crecip_crecip()
314 Hacl_Bignum_Fmul_fmul(t01, t01, c0); in Hacl_Bignum_Crecip_crecip()
315 Hacl_Bignum_Fsquare_fsquare_times_inplace(t01, (uint32_t)10U); in Hacl_Bignum_Crecip_crecip()
316 Hacl_Bignum_Fmul_fmul(b1, t01, b1); in Hacl_Bignum_Crecip_crecip()
317 Hacl_Bignum_Fsquare_fsquare_times(t01, b1, (uint32_t)50U); in Hacl_Bignum_Crecip_crecip()