Lines Matching defs:output
45 Hacl_Bignum_Fproduct_copy_from_wide_(uint64_t *output, FStar_UInt128_uint128 *input) in Hacl_Bignum_Fproduct_copy_from_wide_()
57 FStar_UInt128_uint128 *output, in Hacl_Bignum_Fproduct_sum_scalar_multiplication_()
86 inline static void Hacl_Bignum_Fmul_shift_reduce(uint64_t *output) in Hacl_Bignum_Fmul_shift_reduce()
106 FStar_UInt128_uint128 *output, in Hacl_Bignum_Fmul_mul_shift_reduce_()
127 inline static void Hacl_Bignum_Fmul_fmul(uint64_t *output, uint64_t *input, uint64_t *input2) in Hacl_Bignum_Fmul_fmul()
170 inline static void Hacl_Bignum_Fsquare_fsquare__(FStar_UInt128_uint128 *tmp, uint64_t *output) in Hacl_Bignum_Fsquare_fsquare__()
214 inline static void Hacl_Bignum_Fsquare_fsquare_(FStar_UInt128_uint128 *tmp, uint64_t *output) in Hacl_Bignum_Fsquare_fsquare_()
258 Hacl_Bignum_Fsquare_fsquare_times(uint64_t *output, uint64_t *input, uint32_t count1) in Hacl_Bignum_Fsquare_fsquare_times()
273 inline static void Hacl_Bignum_Fsquare_fsquare_times_inplace(uint64_t *output, uint32_t count1) in Hacl_Bignum_Fsquare_fsquare_times_inplace()
372 inline static void Hacl_Bignum_fscalar(uint64_t *output, uint64_t *b, uint64_t s) in Hacl_Bignum_fscalar()
410 inline static void Hacl_Bignum_fmul(uint64_t *output, uint64_t *a, uint64_t *b) in Hacl_Bignum_fmul()
415 inline static void Hacl_Bignum_crecip(uint64_t *output, uint64_t *input) in Hacl_Bignum_crecip()
452 static void Hacl_EC_Point_copy(uint64_t *output, uint64_t *input) in Hacl_EC_Point_copy()
460 static void Hacl_EC_Format_fexpand(uint64_t *output, uint8_t *input) in Hacl_EC_Format_fexpand()
574 static void Hacl_EC_Format_fcontract_store(uint8_t *output, uint64_t *input) in Hacl_EC_Format_fcontract_store()
595 static void Hacl_EC_Format_fcontract(uint8_t *output, uint64_t *input) in Hacl_EC_Format_fcontract()