Searched refs:r0_4 (Results 1 – 1 of 1) sorted by relevance
6625 uint8_t_x5 r0_4 = libcrux_ml_kem_vector_portable_serialize_serialize_10_int( in libcrux_ml_kem_vector_portable_serialize_serialize_10() local6637 ret[0U] = r0_4.fst; in libcrux_ml_kem_vector_portable_serialize_serialize_10()6638 ret[1U] = r0_4.snd; in libcrux_ml_kem_vector_portable_serialize_serialize_10()6639 ret[2U] = r0_4.thd; in libcrux_ml_kem_vector_portable_serialize_serialize_10()6640 ret[3U] = r0_4.f3; in libcrux_ml_kem_vector_portable_serialize_serialize_10()6641 ret[4U] = r0_4.f4; in libcrux_ml_kem_vector_portable_serialize_serialize_10()