crypto/openssh/libcrux_internal.h

21259

libcrux_secrets_int_as_i32_f5(value) *

crypto/openssh/libcrux_internal.h

21311

libcrux_secrets_int_as_i32_f5(libcrux_secrets_int_as_i16_36(value)) *

crypto/openssh/libcrux_internal.h

21315

libcrux_secrets_int_as_i32_f5(libcrux_secrets_int_as_i16_36(k)) *

crypto/openssh/libcrux_internal.h

21316

libcrux_secrets_int_as_i32_f5(libcrux_secrets_int_public_integers_classify_27_39(LIBCRUX_ML_KEM_VECTOR_TRAITS_FIELD_MODULUS));

crypto/openssh/libcrux_internal.h

21344

int32_t product = libcrux_secrets_int_as_i32_f5(fe) * libcrux_secrets_int_as_i32_f5(fer);

crypto/openssh/libcrux_internal.h

21777

int32_t ai_bi = libcrux_secrets_int_as_i32_f5(ai) * libcrux_secrets_int_as_i32_f5(bi);

crypto/openssh/libcrux_internal.h

21778

int32_t aj_bj_ = libcrux_secrets_int_as_i32_f5(aj) * libcrux_secrets_int_as_i32_f5(bj);

crypto/openssh/libcrux_internal.h

21781

aj_bj_zeta = libcrux_secrets_int_as_i32_f5(aj_bj) * libcrux_secrets_int_as_i32_f5(zeta);

crypto/openssh/libcrux_internal.h

21784

int32_t ai_bj = libcrux_secrets_int_as_i32_f5(ai) * libcrux_secrets_int_as_i32_f5(bj);

crypto/openssh/libcrux_internal.h

21785

int32_t aj_bi = libcrux_secrets_int_as_i32_f5(aj) * libcrux_secrets_int_as_i32_f5(bi);

crypto/openssh/libcrux_internal.h

22625

libcrux_secrets_int_as_i32_f5(a.data[i0]) *

crypto/openssh/libcrux_internal.h

22626

libcrux_secrets_int_as_i32_f5(libcrux_secrets_int_public_integers_classify_27_39(LIBCRUX_ML_KEM_VECTOR_TRAITS_FIELD_MODULUS));

crypto/openssh/libcrux_internal.h

22957

libcrux_secrets_int_as_i32_f5(a.data[i0]) *

crypto/openssh/libcrux_internal.h

22958

libcrux_secrets_int_as_i32_f5(libcrux_secrets_int_public_integers_classify_27_39(LIBCRUX_ML_KEM_VECTOR_TRAITS_FIELD_MODULUS));