Lines Matching refs:b0_
36 uint64_t b0_ = b0 + (uint64_t)19U * (b4 >> (uint32_t)51U); in Hacl_Bignum_Modulo_carry_top() local
38 b[0U] = b0_; in Hacl_Bignum_Modulo_carry_top()
131 uint128_t b0_; in Hacl_Bignum_Fmul_fmul() local
141 b0_ = b0 + (uint128_t)(uint64_t)19U * (uint64_t)(b4 >> (uint32_t)51U); in Hacl_Bignum_Fmul_fmul()
143 t[0U] = b0_; in Hacl_Bignum_Fmul_fmul()
184 uint128_t b0_; in Hacl_Bignum_Fsquare_fsquare_() local
194 b0_ = b0 + (uint128_t)(uint64_t)19U * (uint64_t)(b4 >> (uint32_t)51U); in Hacl_Bignum_Fsquare_fsquare_()
196 tmp[0U] = b0_; in Hacl_Bignum_Fsquare_fsquare_()
344 uint128_t b0_; in Hacl_Bignum_fscalar() local
357 b0_ = b0 + (uint128_t)(uint64_t)19U * (uint64_t)(b4 >> (uint32_t)51U); in Hacl_Bignum_fscalar()
359 tmp[0U] = b0_; in Hacl_Bignum_fscalar()