Searched refs:copy_of_randomness0 (Results 1 – 1 of 1) sorted by relevance
9797 uint8_t copy_of_randomness0[3U][504U]; in libcrux_ml_kem_sampling_sample_from_xof_3f() local9798 memcpy(copy_of_randomness0, randomness0, (size_t)3U * sizeof(uint8_t[504U])); in libcrux_ml_kem_sampling_sample_from_xof_3f()9800 copy_of_randomness0, sampled_coefficients, out); in libcrux_ml_kem_sampling_sample_from_xof_3f()