usr.bin/ssh/libcrux_internal.h

22715

a = libcrux_ml_kem_vector_portable_add_b8(a, &t);

usr.bin/ssh/libcrux_internal.h

23137

uu____0 = libcrux_ml_kem_vector_portable_add_b8(myself->data[i0], &rhs->data[i0]);

usr.bin/ssh/libcrux_internal.h

23244

libcrux_ml_kem_vector_portable_barrett_reduce_b8(libcrux_ml_kem_vector_portable_add_b8(a, &b));

usr.bin/ssh/libcrux_internal.h

24390

Eurydice_arr_d6 uu____1 = libcrux_ml_kem_vector_portable_add_b8(re->data[j], &t);

usr.bin/ssh/libcrux_internal.h

24592

sum = libcrux_ml_kem_vector_portable_add_b8(coefficient_normal_form, &error->data[j]);

usr.bin/ssh/libcrux_internal.h

24883

sum1 = libcrux_ml_kem_vector_portable_add_b8(myself->data[i0], &message->data[i0]);

usr.bin/ssh/libcrux_internal.h

24884

Eurydice_arr_d6 sum2 = libcrux_ml_kem_vector_portable_add_b8(coefficient_normal_form, &sum1);

usr.bin/ssh/libcrux_internal.h

25553

sum = libcrux_ml_kem_vector_portable_add_b8(coefficient_normal_form, &error->data[j]);