Searched refs:random_bits_as_u32 (Results 1 – 1 of 1) sorted by relevance
8823 uint32_t random_bits_as_u32 = in libcrux_ml_kem_sampling_sample_from_binomial_distribution_2_ea() local8835 uint32_t even_bits = random_bits_as_u32 & 1431655765U; in libcrux_ml_kem_sampling_sample_from_binomial_distribution_2_ea()8836 uint32_t odd_bits = random_bits_as_u32 >> 1U & 1431655765U; in libcrux_ml_kem_sampling_sample_from_binomial_distribution_2_ea()