Searched defs:s2n_socket_read_io_context (Results 1 – 2 of 2) sorted by relevance
21 struct s2n_socket_read_io_context { struct23 int fd;26 unsigned int tcp_quickack_set:1;28 unsigned int original_rcvlowat_is_set:1;29 int original_rcvlowat_val;
812 …struct s2n_socket_read_io_context *s2n_socket_read_io_context = malloc(sizeof(*s2n_socket_read_io_… in cbmc_allocate_s2n_socket_read_io_context() local