Searched refs:s2n_get_seed_entropy (Results 1 – 4 of 4) sorted by relevance
25 extern S2N_RESULT s2n_get_seed_entropy(struct s2n_blob *blob);
113 S2N_RESULT s2n_get_seed_entropy(struct s2n_blob *blob) in s2n_get_seed_entropy() function
131 POSIX_GUARD_RESULT(s2n_get_seed_entropy(&blob)); in s2n_drbg_seed()
373 get_seed_entropy_ov <- crucible_llvm_unsafe_assume_spec m "s2n_get_seed_entropy" get_public_random_…