Searched defs:s0 (Results 1 – 3 of 3) sorted by relevance
401 uint64x2_t s0 = (uint64x2_t) vld1q_u8(msg + 16 * 0); in mbedtls_internal_sha512_process_many_a64_crypto() local
167 uint128_t s0 = (uint128_t)r0 * r0 + (uint128_t)d4 * r1 + (uint128_t)d2 * r3; in Hacl_Bignum_Fsquare_fsquare__() local
183 s0 = in Hacl_Bignum_Fsquare_fsquare__() local