Searched refs:PQCLEAN_FALCON1024_AVX2_prng_get_bytes (Results 1 – 2 of 2) sorted by relevance
176 PQCLEAN_FALCON1024_AVX2_prng_get_bytes(prng *p, void *dst, size_t len) { in PQCLEAN_FALCON1024_AVX2_prng_get_bytes() function
490 void PQCLEAN_FALCON1024_AVX2_prng_get_bytes(prng *p, void *dst, size_t len);