Searched refs:tctrp1 (Results 1 – 2 of 2) sorted by relevance
70 uint128_t tctrp1 = tmp[ctr + (uint32_t)1U]; in Hacl_Bignum_Fproduct_carry_wide_() local74 tmp[ctr + (uint32_t)1U] = tctrp1 + c; in Hacl_Bignum_Fproduct_carry_wide_()
78 FStar_UInt128_uint128 tctrp1 = tmp[ctr + (uint32_t)1U]; in Hacl_Bignum_Fproduct_carry_wide_() local82 tmp[ctr + (uint32_t)1U] = FStar_UInt128_add(tctrp1, c); in Hacl_Bignum_Fproduct_carry_wide_()