Symbol: fiat_25519_carry_square
crypto/krb5/src/plugins/preauth/spake/edwards25519.c
404
fiat_25519_carry_square(h->v, f->v);
crypto/krb5/src/plugins/preauth/spake/edwards25519.c
410
fiat_25519_carry_square(h->v, f->v);