Symbol: libcrux_secrets_int_as_i16_36
crypto/openssh/libcrux_internal.h
21264
libcrux_secrets_int_as_i16_36(t >> (uint32_t)LIBCRUX_ML_KEM_VECTOR_TRAITS_BARRETT_SHIFT);
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
21319
libcrux_secrets_int_as_i16_36(k_times_modulus >>
crypto/openssh/libcrux_internal.h
21323
libcrux_secrets_int_as_i16_36(value >>
crypto/openssh/libcrux_internal.h
22629
a.data[i0] = libcrux_secrets_int_as_i16_36(decompressed);
crypto/openssh/libcrux_internal.h
22961
a.data[i0] = libcrux_secrets_int_as_i16_36(decompressed);