Searched refs:random_bits_as_u24 (Results 1 – 1 of 1) sorted by relevance
10053 uint32_t random_bits_as_u24 = in libcrux_ml_kem_sampling_sample_from_binomial_distribution_3_eb() local10062 uint32_t first_bits = random_bits_as_u24 & 2396745U; in libcrux_ml_kem_sampling_sample_from_binomial_distribution_3_eb()10063 uint32_t second_bits = random_bits_as_u24 >> 1U & 2396745U; in libcrux_ml_kem_sampling_sample_from_binomial_distribution_3_eb()10064 uint32_t third_bits = random_bits_as_u24 >> 2U & 2396745U; in libcrux_ml_kem_sampling_sample_from_binomial_distribution_3_eb()