Symbol: LIBCRUX_ML_DSA_SIMD_TRAITS_FIELD_MODULUS
usr.bin/ssh/libcrux_internal.h
9655
int32_t r0 = r + (r >> 31U & LIBCRUX_ML_DSA_SIMD_TRAITS_FIELD_MODULUS);
usr.bin/ssh/libcrux_internal.h
9683
((LIBCRUX_ML_DSA_SIMD_TRAITS_FIELD_MODULUS - 1) / 2 - r00) >> 31U &
usr.bin/ssh/libcrux_internal.h
9684
LIBCRUX_ML_DSA_SIMD_TRAITS_FIELD_MODULUS;
usr.bin/ssh/libcrux_internal.h
9901
int64_t k_times_modulus = (int64_t)k * (int64_t)LIBCRUX_ML_DSA_SIMD_TRAITS_FIELD_MODULUS;
usr.bin/ssh/libcrux_internal.h
9942
return fe - quotient * LIBCRUX_ML_DSA_SIMD_TRAITS_FIELD_MODULUS;
usr.bin/ssh/libcrux_internal.h
9959
int32_t t2 = t + (t >> 31U & LIBCRUX_ML_DSA_SIMD_TRAITS_FIELD_MODULUS);