Searched refs:result4_7 (Results 1 – 1 of 1) sorted by relevance
6480 uint8_t_x4 result4_7 = in libcrux_ml_kem_vector_portable_serialize_serialize_4() local6488 ret[4U] = result4_7.fst; in libcrux_ml_kem_vector_portable_serialize_serialize_4()6489 ret[5U] = result4_7.snd; in libcrux_ml_kem_vector_portable_serialize_serialize_4()6490 ret[6U] = result4_7.thd; in libcrux_ml_kem_vector_portable_serialize_serialize_4()6491 ret[7U] = result4_7.f3; in libcrux_ml_kem_vector_portable_serialize_serialize_4()