Searched refs:libcrux_ml_kem_vector_portable_serialize_deserialize_5_int (Results 1 – 1 of 1) sorted by relevance
7626 libcrux_ml_kem_vector_portable_serialize_deserialize_5_int( in libcrux_ml_kem_vector_portable_serialize_deserialize_5_int() function7679 int16_t_x8 v0_7 = libcrux_ml_kem_vector_portable_serialize_deserialize_5_int( in libcrux_ml_kem_vector_portable_serialize_deserialize_5()7681 int16_t_x8 v8_15 = libcrux_ml_kem_vector_portable_serialize_deserialize_5_int( in libcrux_ml_kem_vector_portable_serialize_deserialize_5()