usr.bin/ssh/libcrux_internal.h

10978

libcrux_ml_dsa_simd_portable_arithmetic_subtract(&re->data[index + step_by], &tmp);

usr.bin/ssh/libcrux_internal.h

12472

libcrux_ml_dsa_simd_portable_arithmetic_subtract(&re->data[j + (size_t)1U], &rej);

usr.bin/ssh/libcrux_internal.h

12495

libcrux_ml_dsa_simd_portable_arithmetic_subtract(&re->data[j + (size_t)1U], &rej);

usr.bin/ssh/libcrux_internal.h

12518

libcrux_ml_dsa_simd_portable_arithmetic_subtract(&re->data[j + (size_t)1U], &rej);

usr.bin/ssh/libcrux_internal.h

12541

libcrux_ml_dsa_simd_portable_arithmetic_subtract(&re->data[j + (size_t)1U], &rej);

usr.bin/ssh/libcrux_internal.h

12564

libcrux_ml_dsa_simd_portable_arithmetic_subtract(&re->data[j + (size_t)1U], &rej);

usr.bin/ssh/libcrux_internal.h

12587

libcrux_ml_dsa_simd_portable_arithmetic_subtract(&re->data[j + (size_t)1U], &rej);

usr.bin/ssh/libcrux_internal.h

12610

libcrux_ml_dsa_simd_portable_arithmetic_subtract(&re->data[j + (size_t)1U], &rej);

usr.bin/ssh/libcrux_internal.h

12633

libcrux_ml_dsa_simd_portable_arithmetic_subtract(&re->data[j + (size_t)1U], &rej);

usr.bin/ssh/libcrux_internal.h

12656

libcrux_ml_dsa_simd_portable_arithmetic_subtract(&re->data[j + (size_t)1U], &rej);

usr.bin/ssh/libcrux_internal.h

12679

libcrux_ml_dsa_simd_portable_arithmetic_subtract(&re->data[j + (size_t)1U], &rej);

usr.bin/ssh/libcrux_internal.h

12702

libcrux_ml_dsa_simd_portable_arithmetic_subtract(&re->data[j + (size_t)1U], &rej);

usr.bin/ssh/libcrux_internal.h

12725

libcrux_ml_dsa_simd_portable_arithmetic_subtract(&re->data[j + (size_t)1U], &rej);

usr.bin/ssh/libcrux_internal.h

12748

libcrux_ml_dsa_simd_portable_arithmetic_subtract(&re->data[j + (size_t)1U], &rej);

usr.bin/ssh/libcrux_internal.h

12771

libcrux_ml_dsa_simd_portable_arithmetic_subtract(&re->data[j + (size_t)1U], &rej);

usr.bin/ssh/libcrux_internal.h

12794

libcrux_ml_dsa_simd_portable_arithmetic_subtract(&re->data[j + (size_t)1U], &rej);

usr.bin/ssh/libcrux_internal.h

12817

libcrux_ml_dsa_simd_portable_arithmetic_subtract(&re->data[j + (size_t)1U], &rej);

usr.bin/ssh/libcrux_internal.h

12861

libcrux_ml_dsa_simd_portable_arithmetic_subtract(&re->data[j + (size_t)2U], &rej);

usr.bin/ssh/libcrux_internal.h

12884

libcrux_ml_dsa_simd_portable_arithmetic_subtract(&re->data[j + (size_t)2U], &rej);

usr.bin/ssh/libcrux_internal.h

12907

libcrux_ml_dsa_simd_portable_arithmetic_subtract(&re->data[j + (size_t)2U], &rej);

usr.bin/ssh/libcrux_internal.h

12930

libcrux_ml_dsa_simd_portable_arithmetic_subtract(&re->data[j + (size_t)2U], &rej);

usr.bin/ssh/libcrux_internal.h

12953

libcrux_ml_dsa_simd_portable_arithmetic_subtract(&re->data[j + (size_t)2U], &rej);

usr.bin/ssh/libcrux_internal.h

12976

libcrux_ml_dsa_simd_portable_arithmetic_subtract(&re->data[j + (size_t)2U], &rej);

usr.bin/ssh/libcrux_internal.h

12999

libcrux_ml_dsa_simd_portable_arithmetic_subtract(&re->data[j + (size_t)2U], &rej);

usr.bin/ssh/libcrux_internal.h

13022

libcrux_ml_dsa_simd_portable_arithmetic_subtract(&re->data[j + (size_t)2U], &rej);

usr.bin/ssh/libcrux_internal.h

13058

libcrux_ml_dsa_simd_portable_arithmetic_subtract(&re->data[j + (size_t)4U], &rej);

usr.bin/ssh/libcrux_internal.h

13081

libcrux_ml_dsa_simd_portable_arithmetic_subtract(&re->data[j + (size_t)4U], &rej);

usr.bin/ssh/libcrux_internal.h

13104

libcrux_ml_dsa_simd_portable_arithmetic_subtract(&re->data[j + (size_t)4U], &rej);

usr.bin/ssh/libcrux_internal.h

13127

libcrux_ml_dsa_simd_portable_arithmetic_subtract(&re->data[j + (size_t)4U], &rej);

usr.bin/ssh/libcrux_internal.h

13159

libcrux_ml_dsa_simd_portable_arithmetic_subtract(&re->data[j + (size_t)8U], &rej);

usr.bin/ssh/libcrux_internal.h

13182

libcrux_ml_dsa_simd_portable_arithmetic_subtract(&re->data[j + (size_t)8U], &rej);

usr.bin/ssh/libcrux_internal.h

13212

libcrux_ml_dsa_simd_portable_arithmetic_subtract(&re->data[j + (size_t)16U], &rej);

usr.bin/ssh/libcrux_internal.h

9610

libcrux_ml_dsa_simd_portable_arithmetic_subtract(lhs, rhs);