Searched refs:CORE_NUM__U32_8__BITS (Results 1 – 1 of 1) sorted by relevance
268 #define CORE_NUM__U32_8__BITS (32U) macro10022 for (uint32_t i = 0U; i < CORE_NUM__U32_8__BITS / 4U; i++) { in libcrux_ml_kem_sampling_sample_from_binomial_distribution_2_85()