Searched defs:input2 (Results 1 – 3 of 3) sorted by relevance
402 const unsigned char *input2, size_t input2_length, in mbedtls_test_psa_setup_key_derivation_wrap()461 unsigned char input2[] = "Input 2"; in exercise_key_derivation_key() local
97 Hacl_Bignum_Fmul_mul_shift_reduce_(uint128_t *output, uint64_t *input, uint64_t *input2) in Hacl_Bignum_Fmul_mul_shift_reduce_()115 inline static void Hacl_Bignum_Fmul_fmul(uint64_t *output, uint64_t *input, uint64_t *input2) in Hacl_Bignum_Fmul_fmul()
108 uint64_t *input2 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()
