Symbol: libcrux_ml_kem_vector_portable_sub_b8
usr.bin/ssh/libcrux_internal.h
22714
b = libcrux_ml_kem_vector_portable_sub_b8(a, &t);
usr.bin/ssh/libcrux_internal.h
23242
Eurydice_arr_d6 a_minus_b = libcrux_ml_kem_vector_portable_sub_b8(b, &a);
usr.bin/ssh/libcrux_internal.h
23329
diff = libcrux_ml_kem_vector_portable_sub_b8(myself->data[i0], &coefficient_normal_form);
usr.bin/ssh/libcrux_internal.h
24389
re->data[j + step] = libcrux_ml_kem_vector_portable_sub_b8(re->data[j], &t);