Searched refs:v0_7 (Results 1 – 1 of 1) sorted by relevance
6129 int16_t_x8 v0_7 = libcrux_ml_kem_vector_portable_serialize_deserialize_11_int( in libcrux_ml_kem_vector_portable_serialize_deserialize_11() local6136 v.elements[0U] = v0_7.fst; in libcrux_ml_kem_vector_portable_serialize_deserialize_11()6137 v.elements[1U] = v0_7.snd; in libcrux_ml_kem_vector_portable_serialize_deserialize_11()6138 v.elements[2U] = v0_7.thd; in libcrux_ml_kem_vector_portable_serialize_deserialize_11()6139 v.elements[3U] = v0_7.f3; in libcrux_ml_kem_vector_portable_serialize_deserialize_11()6140 v.elements[4U] = v0_7.f4; in libcrux_ml_kem_vector_portable_serialize_deserialize_11()6141 v.elements[5U] = v0_7.f5; in libcrux_ml_kem_vector_portable_serialize_deserialize_11()6142 v.elements[6U] = v0_7.f6; in libcrux_ml_kem_vector_portable_serialize_deserialize_11()6143 v.elements[7U] = v0_7.f7; in libcrux_ml_kem_vector_portable_serialize_deserialize_11()7521 int16_t_x8 v0_7 = libcrux_ml_kem_vector_portable_serialize_deserialize_4_int( in libcrux_ml_kem_vector_portable_serialize_deserialize_4() local[all …]