Searched refs:r6_8 (Results 1 – 1 of 1) sorted by relevance
7919 uint8_t_x3 r6_8 = libcrux_ml_kem_vector_portable_serialize_serialize_12_int( in libcrux_ml_kem_vector_portable_serialize_serialize_12() local7942 result[6U] = r6_8.fst; in libcrux_ml_kem_vector_portable_serialize_serialize_12()7943 result[7U] = r6_8.snd; in libcrux_ml_kem_vector_portable_serialize_serialize_12()7944 result[8U] = r6_8.thd; in libcrux_ml_kem_vector_portable_serialize_serialize_12()