Searched refs:sampled_coefficients (Results 1 – 1 of 1) sorted by relevance
9581 uint8_t randomness[3U][504U], size_t *sampled_coefficients, in libcrux_ml_kem_sampling_sample_from_uniform_distribution_next_db() argument9587 if (sampled_coefficients[i1] < in libcrux_ml_kem_sampling_sample_from_uniform_distribution_next_db()9594 out[i1], sampled_coefficients[i1], in libcrux_ml_kem_sampling_sample_from_uniform_distribution_next_db()9595 sampled_coefficients[i1] + (size_t)16U, int16_t)); in libcrux_ml_kem_sampling_sample_from_uniform_distribution_next_db()9597 sampled_coefficients[uu____1] = sampled_coefficients[uu____1] + sampled; in libcrux_ml_kem_sampling_sample_from_uniform_distribution_next_db()9604 if (sampled_coefficients[i0] >= in libcrux_ml_kem_sampling_sample_from_uniform_distribution_next_db()9606 sampled_coefficients[i0] = in libcrux_ml_kem_sampling_sample_from_uniform_distribution_next_db()9702 uint8_t randomness[3U][168U], size_t *sampled_coefficients, in libcrux_ml_kem_sampling_sample_from_uniform_distribution_next_db0() argument9708 if (sampled_coefficients[i1] < in libcrux_ml_kem_sampling_sample_from_uniform_distribution_next_db0()9715 out[i1], sampled_coefficients[i1], in libcrux_ml_kem_sampling_sample_from_uniform_distribution_next_db0()[all …]