Searched defs:b0_ (Results 1 – 5 of 5) sorted by relevance
91 DoubleProperty b0_, b1_, b2_, b3_, a1_, a2_; variable
39 uint64_t b0_ = b0 + (uint64_t)19U * (b4 >> (uint32_t)51U); in Hacl_Bignum_Modulo_carry_top() local143 FStar_UInt128_uint128 b0_; in Hacl_Bignum_Fmul_fmul() local219 FStar_UInt128_uint128 b0_; in Hacl_Bignum_Fsquare_fsquare_() local386 FStar_UInt128_uint128 b0_; in Hacl_Bignum_fscalar() local
36 uint64_t b0_ = b0 + (uint64_t)19U * (b4 >> (uint32_t)51U); in Hacl_Bignum_Modulo_carry_top() local131 uint128_t b0_; in Hacl_Bignum_Fmul_fmul() local184 uint128_t b0_; in Hacl_Bignum_Fsquare_fsquare_() local344 uint128_t b0_; in Hacl_Bignum_fscalar() local