Lines Matching refs:b4_
35 uint64_t b4_ = b4 & (uint64_t)0x7ffffffffffffU; in Hacl_Bignum_Modulo_carry_top() local
37 b[4U] = b4_; in Hacl_Bignum_Modulo_carry_top()
130 uint128_t b4_; in Hacl_Bignum_Fmul_fmul() local
140 b4_ = b4 & (uint128_t)(uint64_t)0x7ffffffffffffU; in Hacl_Bignum_Fmul_fmul()
142 t[4U] = b4_; in Hacl_Bignum_Fmul_fmul()
183 uint128_t b4_; in Hacl_Bignum_Fsquare_fsquare_() local
193 b4_ = b4 & (uint128_t)(uint64_t)0x7ffffffffffffU; in Hacl_Bignum_Fsquare_fsquare_()
195 tmp[4U] = b4_; in Hacl_Bignum_Fsquare_fsquare_()
343 uint128_t b4_; in Hacl_Bignum_fscalar() local
356 b4_ = b4 & (uint128_t)(uint64_t)0x7ffffffffffffU; in Hacl_Bignum_fscalar()
358 tmp[4U] = b4_; in Hacl_Bignum_fscalar()