Symbol: fiat_25519_loose_field_element
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
1346
static FIAT_25519_FIAT_INLINE void fiat_25519_carry_square(fiat_25519_tight_field_element out1, const fiat_25519_loose_field_element arg1) {
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) {
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
1670
static FIAT_25519_FIAT_INLINE void fiat_25519_add(fiat_25519_loose_field_element out1, const fiat_25519_tight_field_element arg1, const fiat_25519_tight_field_element arg2) {
crypto/krb5/src/plugins/preauth/spake/edwards25519_fiat.h
1710
static FIAT_25519_FIAT_INLINE void fiat_25519_sub(fiat_25519_loose_field_element out1, const fiat_25519_tight_field_element arg1, const fiat_25519_tight_field_element arg2) {
crypto/krb5/src/plugins/preauth/spake/edwards25519_fiat.h
1750
static FIAT_25519_FIAT_INLINE void fiat_25519_opp(fiat_25519_loose_field_element out1, const fiat_25519_tight_field_element arg1) {
crypto/krb5/src/plugins/preauth/spake/edwards25519_fiat.h
254
static FIAT_25519_FIAT_INLINE void fiat_25519_carry_square(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) {
crypto/krb5/src/plugins/preauth/spake/edwards25519_fiat.h
408
static FIAT_25519_FIAT_INLINE void fiat_25519_add(fiat_25519_loose_field_element out1, const fiat_25519_tight_field_element arg1, const fiat_25519_tight_field_element arg2) {
crypto/krb5/src/plugins/preauth/spake/edwards25519_fiat.h
433
static FIAT_25519_FIAT_INLINE void fiat_25519_sub(fiat_25519_loose_field_element out1, const fiat_25519_tight_field_element arg1, const fiat_25519_tight_field_element arg2) {
crypto/krb5/src/plugins/preauth/spake/edwards25519_fiat.h
458
static FIAT_25519_FIAT_INLINE void fiat_25519_opp(fiat_25519_loose_field_element out1, const fiat_25519_tight_field_element arg1) {