Symbol: fiat_25519_carry_mul
crypto/krb5/src/plugins/preauth/spake/edwards25519_fiat.h
1032
static FIAT_25519_FIAT_INLINE void fiat_25519_carry_mul(fiat_25519_tight_field_element out1, const fiat_25519_loose_field_element arg1, const fiat_25519_loose_field_element arg2) {
crypto/krb5/src/plugins/preauth/spake/edwards25519_fiat.h
135
static FIAT_25519_FIAT_INLINE void fiat_25519_carry_mul(fiat_25519_tight_field_element out1, const fiat_25519_loose_field_element arg1, const fiat_25519_loose_field_element arg2) {