Symbol: fiat_25519_tight_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
1792
static FIAT_25519_FIAT_INLINE void fiat_25519_to_bytes(uint8_t out1[32], const fiat_25519_tight_field_element arg1) {
crypto/krb5/src/plugins/preauth/spake/edwards25519_fiat.h
2050
static FIAT_25519_FIAT_INLINE void fiat_25519_from_bytes(fiat_25519_tight_field_element out1, const uint8_t arg1[32]) {
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) {
crypto/krb5/src/plugins/preauth/spake/edwards25519_fiat.h
485
static FIAT_25519_FIAT_INLINE void fiat_25519_to_bytes(uint8_t out1[32], const fiat_25519_tight_field_element arg1) {
crypto/krb5/src/plugins/preauth/spake/edwards25519_fiat.h
701
static FIAT_25519_FIAT_INLINE void fiat_25519_from_bytes(fiat_25519_tight_field_element out1, const uint8_t arg1[32]) {