Searched refs:v6_7 (Results 1 – 1 of 1) sorted by relevance
6900 int16_t_x2 v6_7 = libcrux_ml_kem_vector_portable_serialize_deserialize_12_int( in libcrux_ml_kem_vector_portable_serialize_deserialize_12() local6916 v4_5.snd, v6_7.fst, v6_7.snd, v8_9.fst, v8_9.snd, in libcrux_ml_kem_vector_portable_serialize_deserialize_12()