Symbol: fiat_25519_int1
crypto/krb5/src/plugins/preauth/spake/edwards25519_fiat.h
1020
x2 = ((fiat_25519_int1)(0x0 - x1) & UINT32_C(0xffffffff));
crypto/krb5/src/plugins/preauth/spake/edwards25519_fiat.h
123
x2 = ((fiat_25519_int1)(0x0 - x1) & UINT64_C(0xffffffffffffffff));
crypto/krb5/src/plugins/preauth/spake/edwards25519_fiat.h
941
fiat_25519_int1 x2;
crypto/krb5/src/plugins/preauth/spake/edwards25519_fiat.h
944
x2 = (fiat_25519_int1)(x1 >> 26);
crypto/krb5/src/plugins/preauth/spake/edwards25519_fiat.h
96
fiat_25519_int1 x2;
crypto/krb5/src/plugins/preauth/spake/edwards25519_fiat.h
99
x2 = (fiat_25519_int1)(x1 >> 51);
crypto/krb5/src/plugins/preauth/spake/edwards25519_fiat.h
993
fiat_25519_int1 x2;
crypto/krb5/src/plugins/preauth/spake/edwards25519_fiat.h
996
x2 = (fiat_25519_int1)(x1 >> 25);