Searched refs:s0 (Results 1 – 3 of 3) sorted by relevance
949 mbedtls_mpi_uint s0, s1, b0, b1; \955 s0 = ( *s << biH ) >> biH; \957 rx = s0 * b1; r0 = s0 * b0; \
167 uint128_t s0 = (uint128_t)r0 * r0 + (uint128_t)d4 * r1 + (uint128_t)d2 * r3; in Hacl_Bignum_Fsquare_fsquare__() local172 tmp[0U] = s0; in Hacl_Bignum_Fsquare_fsquare__()
183 s0 = in Hacl_Bignum_Fsquare_fsquare__() local207 tmp[0U] = s0; in Hacl_Bignum_Fsquare_fsquare__()
Completed in 10 milliseconds