Searched refs:write_task_handle (Results 1 – 4 of 4) sorted by relevance
152 epoll_loop->write_task_handle = (struct aws_io_handle){.data.fd = fd, .additional_data = NULL}; in aws_event_loop_new_default_with_options()175 epoll_loop->write_task_handle.data.fd = pipe_fds[1]; in aws_event_loop_new_default_with_options()198 _(wrap(&epoll_loop->write_task_handle)) in aws_event_loop_new_default_with_options()225 close(epoll_loop->write_task_handle.data.fd); in aws_event_loop_new_default_with_options()226 epoll_loop->write_task_handle.data.fd = -1; in aws_event_loop_new_default_with_options()230 close(epoll_loop->write_task_handle.data.fd); in aws_event_loop_new_default_with_options()301 _(unwrap(&epoll_loop->write_task_handle)) in s_destroy()303 close(epoll_loop->write_task_handle.data.fd); in s_destroy()304 epoll_loop->write_task_handle.data.fd = -1; in s_destroy()308 close(epoll_loop->write_task_handle.data.fd); in s_destroy()
44 _(assert epoll_loop->write_task_handle.\closed) in s_schedule_task_common()45 _(assert \inv(&epoll_loop->write_task_handle)) in s_schedule_task_common()46 _(assert valid_fd(epoll_loop->write_task_handle.data.fd)) in s_schedule_task_common()93 …ssize_t do_not_care = write(_(by_claim c_event_loop) epoll_loop->write_task_handle.data.fd, (void … in s_schedule_task_common()
540 struct aws_io_handle write_task_handle; member556 _(invariant \mine(&write_task_handle))
86 struct aws_io_handle write_task_handle; member170 epoll_loop->write_task_handle = (struct aws_io_handle){.data.fd = fd, .additional_data = NULL}; in aws_event_loop_new_default_with_options()187 epoll_loop->write_task_handle.data.fd = pipe_fds[1]; in aws_event_loop_new_default_with_options()204 close(epoll_loop->write_task_handle.data.fd); in aws_event_loop_new_default_with_options()205 epoll_loop->write_task_handle.data.fd = -1; in aws_event_loop_new_default_with_options()209 close(epoll_loop->write_task_handle.data.fd); in aws_event_loop_new_default_with_options()254 close(epoll_loop->write_task_handle.data.fd); in s_destroy()255 epoll_loop->write_task_handle.data.fd = -1; in s_destroy()259 close(epoll_loop->write_task_handle.data.fd); in s_destroy()366 …ssize_t do_not_care = write(epoll_loop->write_task_handle.data.fd, (void *)&counter, sizeof(counte… in s_schedule_task_common()