Symbol: FIAT_25519_FIAT_INLINE
crypto/krb5/src/plugins/preauth/spake/edwards25519_fiat.h
1015
static FIAT_25519_FIAT_INLINE void fiat_25519_cmovznz_u32(uint32_t* out1, fiat_25519_uint1 arg1, uint32_t arg2, uint32_t arg3) {
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
118
static FIAT_25519_FIAT_INLINE void fiat_25519_cmovznz_u64(uint64_t* out1, fiat_25519_uint1 arg1, uint64_t arg2, uint64_t arg3) {
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
68
static FIAT_25519_FIAT_INLINE void fiat_25519_addcarryx_u51(uint64_t* out1, fiat_25519_uint1* out2, fiat_25519_uint1 arg1, uint64_t arg2, uint64_t arg3) {
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]) {
crypto/krb5/src/plugins/preauth/spake/edwards25519_fiat.h
913
static FIAT_25519_FIAT_INLINE void fiat_25519_addcarryx_u26(uint32_t* out1, fiat_25519_uint1* out2, fiat_25519_uint1 arg1, uint32_t arg2, uint32_t arg3) {
crypto/krb5/src/plugins/preauth/spake/edwards25519_fiat.h
939
static FIAT_25519_FIAT_INLINE void fiat_25519_subborrowx_u26(uint32_t* out1, fiat_25519_uint1* out2, fiat_25519_uint1 arg1, uint32_t arg2, uint32_t arg3) {
crypto/krb5/src/plugins/preauth/spake/edwards25519_fiat.h
94
static FIAT_25519_FIAT_INLINE void fiat_25519_subborrowx_u51(uint64_t* out1, fiat_25519_uint1* out2, fiat_25519_uint1 arg1, uint64_t arg2, uint64_t arg3) {
crypto/krb5/src/plugins/preauth/spake/edwards25519_fiat.h
965
static FIAT_25519_FIAT_INLINE void fiat_25519_addcarryx_u25(uint32_t* out1, fiat_25519_uint1* out2, fiat_25519_uint1 arg1, uint32_t arg2, uint32_t arg3) {
crypto/krb5/src/plugins/preauth/spake/edwards25519_fiat.h
991
static FIAT_25519_FIAT_INLINE void fiat_25519_subborrowx_u25(uint32_t* out1, fiat_25519_uint1* out2, fiat_25519_uint1 arg1, uint32_t arg2, uint32_t arg3) {