Searched refs:r3_5 (Results 1 – 1 of 1) sorted by relevance
7917 uint8_t_x3 r3_5 = libcrux_ml_kem_vector_portable_serialize_serialize_12_int( in libcrux_ml_kem_vector_portable_serialize_serialize_12() local7939 result[3U] = r3_5.fst; in libcrux_ml_kem_vector_portable_serialize_serialize_12()7940 result[4U] = r3_5.snd; in libcrux_ml_kem_vector_portable_serialize_serialize_12()7941 result[5U] = r3_5.thd; in libcrux_ml_kem_vector_portable_serialize_serialize_12()