HomeSort by: relevance | last modified time | path
    Searched refs:libcrux_secrets_int_as_i32_f5 (Results 1 - 2 of 2) sorted by relevancy

  /src/crypto/external/bsd/openssh/dist/
libcrux_mlkem768_sha3.h 723 static KRML_MUSTINLINE int32_t libcrux_secrets_int_as_i32_f5(int16_t self) { function
5719 int32_t t = libcrux_secrets_int_as_i32_f5(value) *
5773 libcrux_secrets_int_as_i32_f5(libcrux_secrets_int_as_i16_36(value)) *
5778 libcrux_secrets_int_as_i32_f5(libcrux_secrets_int_as_i16_36(k)) *
5779 libcrux_secrets_int_as_i32_f5(
5806 libcrux_secrets_int_as_i32_f5(fe) * libcrux_secrets_int_as_i32_f5(fer);
6251 libcrux_secrets_int_as_i32_f5(ai) * libcrux_secrets_int_as_i32_f5(bi);
6253 libcrux_secrets_int_as_i32_f5(aj) * libcrux_secrets_int_as_i32_f5(bj)
    [all...]
libcrux_internal.h 8614 static KRML_MUSTINLINE int32_t libcrux_secrets_int_as_i32_f5(int16_t self) function
21260 libcrux_secrets_int_as_i32_f5(value) *
21312 libcrux_secrets_int_as_i32_f5(libcrux_secrets_int_as_i16_36(value)) *
21316 libcrux_secrets_int_as_i32_f5(libcrux_secrets_int_as_i16_36(k)) *
21317 libcrux_secrets_int_as_i32_f5(libcrux_secrets_int_public_integers_classify_27_39(LIBCRUX_ML_KEM_VECTOR_TRAITS_FIELD_MODULUS));
21345 int32_t product = libcrux_secrets_int_as_i32_f5(fe) * libcrux_secrets_int_as_i32_f5(fer);
21778 int32_t ai_bi = libcrux_secrets_int_as_i32_f5(ai) * libcrux_secrets_int_as_i32_f5(bi);
21779 int32_t aj_bj_ = libcrux_secrets_int_as_i32_f5(aj) * libcrux_secrets_int_as_i32_f5(bj)
    [all...]

Completed in 42 milliseconds