Searched defs:s2n_cert (Results 1 – 2 of 2) sorted by relevance
28 struct s2n_cert { struct31 s2n_cert_public_key public_key; argument33 struct s2n_cert *next; argument
612 void cbmc_populate_s2n_cert(struct s2n_cert *s2n_cert) in cbmc_populate_s2n_cert()623 struct s2n_cert *s2n_cert = malloc(sizeof(*s2n_cert)); in cbmc_allocate_s2n_cert() local