Searched refs:r15_17 (Results 1 – 1 of 1) sorted by relevance
7926 uint8_t_x3 r15_17 = libcrux_ml_kem_vector_portable_serialize_serialize_12_int( in libcrux_ml_kem_vector_portable_serialize_serialize_12() local7951 result[15U] = r15_17.fst; in libcrux_ml_kem_vector_portable_serialize_serialize_12()7952 result[16U] = r15_17.snd; in libcrux_ml_kem_vector_portable_serialize_serialize_12()7953 result[17U] = r15_17.thd; in libcrux_ml_kem_vector_portable_serialize_serialize_12()