Searched refs:r0_2 (Results 1 – 1 of 1) sorted by relevance
6805 uint8_t_x3 r0_2 = libcrux_ml_kem_vector_portable_serialize_serialize_12_int( in libcrux_ml_kem_vector_portable_serialize_serialize_12() local6829 ret[0U] = r0_2.fst; in libcrux_ml_kem_vector_portable_serialize_serialize_12()6830 ret[1U] = r0_2.snd; in libcrux_ml_kem_vector_portable_serialize_serialize_12()6831 ret[2U] = r0_2.thd; in libcrux_ml_kem_vector_portable_serialize_serialize_12()