Symbol: fiat_25519_value_barrier_u32
crypto/krb5/src/plugins/preauth/spake/edwards25519_fiat.h
889
static __inline__ uint32_t fiat_25519_value_barrier_u32(uint32_t a) {
crypto/krb5/src/plugins/preauth/spake/edwards25519_fiat.h
894
# define fiat_25519_value_barrier_u32(x) (x)