Searched refs:r15_19 (Results 1 – 1 of 1) sorted by relevance
7756 uint8_t_x5 r15_19 = libcrux_ml_kem_vector_portable_serialize_serialize_10_int( in libcrux_ml_kem_vector_portable_serialize_serialize_10() local7775 result[15U] = r15_19.fst; in libcrux_ml_kem_vector_portable_serialize_serialize_10()7776 result[16U] = r15_19.snd; in libcrux_ml_kem_vector_portable_serialize_serialize_10()7777 result[17U] = r15_19.thd; in libcrux_ml_kem_vector_portable_serialize_serialize_10()7778 result[18U] = r15_19.f3; in libcrux_ml_kem_vector_portable_serialize_serialize_10()7779 result[19U] = r15_19.f4; in libcrux_ml_kem_vector_portable_serialize_serialize_10()