Searched refs:rand_stack3 (Results 1 – 1 of 1) sorted by relevance
16567 Eurydice_arr_d10 *rand_stack3, in libcrux_ml_dsa_sample_sample_up_to_four_ring_elements_flat_63() argument16602 rand_stack3); in libcrux_ml_dsa_sample_sample_up_to_four_ring_elements_flat_63()16624 …_sample_rejection_sample_less_than_field_modulus_37(Eurydice_array_to_slice_shared_4c(rand_stack3), in libcrux_ml_dsa_sample_sample_up_to_four_ring_elements_flat_63()16799 Eurydice_arr_d10 rand_stack3 = { .data = { 0U } }; in libcrux_ml_dsa_samplex4_matrix_flat_63() local16826 &rand_stack3, in libcrux_ml_dsa_samplex4_matrix_flat_63()