Symbol: fiat_25519_carry
crypto/krb5/src/plugins/preauth/spake/edwards25519_fiat.h
1606
static FIAT_25519_FIAT_INLINE void fiat_25519_carry(fiat_25519_tight_field_element out1, const fiat_25519_loose_field_element arg1) {
crypto/krb5/src/plugins/preauth/spake/edwards25519_fiat.h
369
static FIAT_25519_FIAT_INLINE void fiat_25519_carry(fiat_25519_tight_field_element out1, const fiat_25519_loose_field_element arg1) {