Lines Matching refs:b
31 static void Hacl_Bignum_Modulo_carry_top(uint64_t *b) in Hacl_Bignum_Modulo_carry_top() argument
33 uint64_t b4 = b[4U]; in Hacl_Bignum_Modulo_carry_top()
34 uint64_t b0 = b[0U]; in Hacl_Bignum_Modulo_carry_top()
37 b[4U] = b4_; in Hacl_Bignum_Modulo_carry_top()
38 b[0U] = b0_; in Hacl_Bignum_Modulo_carry_top()
256 uint64_t *b; in Hacl_Bignum_Crecip_crecip() local
278 b = buf + (uint32_t)10U; in Hacl_Bignum_Crecip_crecip()
280 Hacl_Bignum_Fmul_fmul(c, t0, b); in Hacl_Bignum_Crecip_crecip()
284 Hacl_Bignum_Fmul_fmul(t0, t0, b); in Hacl_Bignum_Crecip_crecip()
289 inline static void Hacl_Bignum_fsum(uint64_t *a, uint64_t *b) in Hacl_Bignum_fsum() argument
295 uint64_t yi = b[i]; in Hacl_Bignum_fsum()
300 inline static void Hacl_Bignum_fdifference(uint64_t *a, uint64_t *b) in Hacl_Bignum_fdifference() argument
308 memcpy(tmp, b, (uint32_t)5U * sizeof b[0U]); in Hacl_Bignum_fdifference()
330 inline static void Hacl_Bignum_fscalar(uint64_t *output, uint64_t *b, uint64_t s) in Hacl_Bignum_fscalar() argument
349 uint64_t xi = b[i]; in Hacl_Bignum_fscalar()
365 inline static void Hacl_Bignum_fmul(uint64_t *output, uint64_t *a, uint64_t *b) in Hacl_Bignum_fmul() argument
367 Hacl_Bignum_Fmul_fmul(output, a, b); in Hacl_Bignum_fmul()
376 Hacl_EC_Point_swap_conditional_step(uint64_t *a, uint64_t *b, uint64_t swap1, uint32_t ctr) in Hacl_EC_Point_swap_conditional_step() argument
380 uint64_t bi = b[i]; in Hacl_EC_Point_swap_conditional_step()
385 b[i] = bi1; in Hacl_EC_Point_swap_conditional_step()
389 Hacl_EC_Point_swap_conditional_(uint64_t *a, uint64_t *b, uint64_t swap1, uint32_t ctr) in Hacl_EC_Point_swap_conditional_() argument
394 Hacl_EC_Point_swap_conditional_step(a, b, swap1, ctr); in Hacl_EC_Point_swap_conditional_()
396 Hacl_EC_Point_swap_conditional_(a, b, swap1, i); in Hacl_EC_Point_swap_conditional_()
400 static void Hacl_EC_Point_swap_conditional(uint64_t *a, uint64_t *b, uint64_t iswap) in Hacl_EC_Point_swap_conditional() argument
403 Hacl_EC_Point_swap_conditional_(a, b, swap1, (uint32_t)5U); in Hacl_EC_Point_swap_conditional()
404 Hacl_EC_Point_swap_conditional_(a + (uint32_t)5U, b + (uint32_t)5U, swap1, (uint32_t)5U); in Hacl_EC_Point_swap_conditional()