Searched refs:r10_14 (Results 1 – 1 of 1) sorted by relevance
7753 uint8_t_x5 r10_14 = libcrux_ml_kem_vector_portable_serialize_serialize_10_int( in libcrux_ml_kem_vector_portable_serialize_serialize_10() local7770 result[10U] = r10_14.fst; in libcrux_ml_kem_vector_portable_serialize_serialize_10()7771 result[11U] = r10_14.snd; in libcrux_ml_kem_vector_portable_serialize_serialize_10()7772 result[12U] = r10_14.thd; in libcrux_ml_kem_vector_portable_serialize_serialize_10()7773 result[13U] = r10_14.f3; in libcrux_ml_kem_vector_portable_serialize_serialize_10()7774 result[14U] = r10_14.f4; in libcrux_ml_kem_vector_portable_serialize_serialize_10()