Lines Matching refs:b0_
39 uint64_t b0_ = b0 + (uint64_t)19U * (b4 >> (uint32_t)51U); in Hacl_Bignum_Modulo_carry_top() local
41 b[0U] = b0_; in Hacl_Bignum_Modulo_carry_top()
143 FStar_UInt128_uint128 b0_; in Hacl_Bignum_Fmul_fmul() local
153 b0_ = in Hacl_Bignum_Fmul_fmul()
158 t[0U] = b0_; in Hacl_Bignum_Fmul_fmul()
219 FStar_UInt128_uint128 b0_; in Hacl_Bignum_Fsquare_fsquare_() local
229 b0_ = in Hacl_Bignum_Fsquare_fsquare_()
234 tmp[0U] = b0_; in Hacl_Bignum_Fsquare_fsquare_()
386 FStar_UInt128_uint128 b0_; in Hacl_Bignum_fscalar() local
399 b0_ = in Hacl_Bignum_fscalar()
404 tmp[0U] = b0_; in Hacl_Bignum_fscalar()