Searched defs:s2n_ecc_named_curve (Results 1 – 2 of 2) sorted by relevance
33 struct s2n_ecc_named_curve { struct40 int (*generate_key) (const struct s2n_ecc_named_curve *named_curve, EVP_PKEY **evp_pkey); argument
455 struct s2n_ecc_named_curve *s2n_ecc_named_curve = malloc(sizeof(*s2n_ecc_named_curve)); in cbmc_allocate_s2n_ecc_named_curve() local