Searched refs:t00 (Results 1 – 2 of 2) sorted by relevance
| /mbedtls-development/3rdparty/everest/library/ |
| A D | Hacl_Curve25519.c | 249 uint64_t *t00 = buf + (uint32_t)5U; in Hacl_Bignum_Crecip_crecip() local
259 Hacl_Bignum_Fsquare_fsquare_times(t00, a0, (uint32_t)2U); in Hacl_Bignum_Crecip_crecip()
260 Hacl_Bignum_Fmul_fmul(b0, t00, z); in Hacl_Bignum_Crecip_crecip()
262 Hacl_Bignum_Fsquare_fsquare_times(t00, a0, (uint32_t)1U); in Hacl_Bignum_Crecip_crecip()
263 Hacl_Bignum_Fmul_fmul(b0, t00, b0); in Hacl_Bignum_Crecip_crecip()
264 Hacl_Bignum_Fsquare_fsquare_times(t00, b0, (uint32_t)5U); in Hacl_Bignum_Crecip_crecip()
|
| /mbedtls-development/3rdparty/everest/library/legacy/ |
| A D | Hacl_Curve25519.c | 291 uint64_t *t00 = buf + (uint32_t)5U; in Hacl_Bignum_Crecip_crecip() local
301 Hacl_Bignum_Fsquare_fsquare_times(t00, a0, (uint32_t)2U); in Hacl_Bignum_Crecip_crecip()
302 Hacl_Bignum_Fmul_fmul(b0, t00, z); in Hacl_Bignum_Crecip_crecip()
304 Hacl_Bignum_Fsquare_fsquare_times(t00, a0, (uint32_t)1U); in Hacl_Bignum_Crecip_crecip()
305 Hacl_Bignum_Fmul_fmul(b0, t00, b0); in Hacl_Bignum_Crecip_crecip()
306 Hacl_Bignum_Fsquare_fsquare_times(t00, b0, (uint32_t)5U); in Hacl_Bignum_Crecip_crecip()
|
Completed in 7 milliseconds