-rw-r--r-- 1996 lib25519-20221222/crypto_mGnP/ed25519/amd64-51/shared-consts.c raw
// linker define REDMASK51 // linker define 121666_213 // linker define 2P0 // linker define 2P1234 // linker define 4P0 // linker define 4P1234 // linker define MU0 // linker define MU1 // linker define MU2 // linker define MU3 // linker define MU4 // linker define ORDER0 // linker define ORDER1 // linker define ORDER2 // linker define ORDER3 // linker define EC2D0 // linker define EC2D1 // linker define EC2D2 // linker define EC2D3 // linker define EC2D4 // linker define _38 #include "crypto_uint64.h" const crypto_uint64 CRYPTO_SHARED_NAMESPACE(REDMASK51) = 0x0007FFFFFFFFFFFF; const crypto_uint64 CRYPTO_SHARED_NAMESPACE(121666_213) = 996687872; const crypto_uint64 CRYPTO_SHARED_NAMESPACE(2P0) = 0xFFFFFFFFFFFDA; const crypto_uint64 CRYPTO_SHARED_NAMESPACE(2P1234) = 0xFFFFFFFFFFFFE; const crypto_uint64 CRYPTO_SHARED_NAMESPACE(4P0) = 0x1FFFFFFFFFFFB4; const crypto_uint64 CRYPTO_SHARED_NAMESPACE(4P1234) = 0x1FFFFFFFFFFFFC; const crypto_uint64 CRYPTO_SHARED_NAMESPACE(MU0) = 0xED9CE5A30A2C131B; const crypto_uint64 CRYPTO_SHARED_NAMESPACE(MU1) = 0x2106215D086329A7; const crypto_uint64 CRYPTO_SHARED_NAMESPACE(MU2) = 0xFFFFFFFFFFFFFFEB; const crypto_uint64 CRYPTO_SHARED_NAMESPACE(MU3) = 0xFFFFFFFFFFFFFFFF; const crypto_uint64 CRYPTO_SHARED_NAMESPACE(MU4) = 0x000000000000000F; const crypto_uint64 CRYPTO_SHARED_NAMESPACE(ORDER0) = 0x5812631A5CF5D3ED; const crypto_uint64 CRYPTO_SHARED_NAMESPACE(ORDER1) = 0x14DEF9DEA2F79CD6; const crypto_uint64 CRYPTO_SHARED_NAMESPACE(ORDER2) = 0x0000000000000000; const crypto_uint64 CRYPTO_SHARED_NAMESPACE(ORDER3) = 0x1000000000000000; const crypto_uint64 CRYPTO_SHARED_NAMESPACE(EC2D0) = 1859910466990425; const crypto_uint64 CRYPTO_SHARED_NAMESPACE(EC2D1) = 932731440258426; const crypto_uint64 CRYPTO_SHARED_NAMESPACE(EC2D2) = 1072319116312658; const crypto_uint64 CRYPTO_SHARED_NAMESPACE(EC2D3) = 1815898335770999; const crypto_uint64 CRYPTO_SHARED_NAMESPACE(EC2D4) = 633789495995903; const crypto_uint64 CRYPTO_SHARED_NAMESPACE(_38) = 38;