Searched refs:epoll_event_data (Results 1 – 6 of 6) sorted by relevance
30 …struct epoll_event_data *epoll_event_data = aws_mem_calloc(event_loop->alloc, 1, sizeof(struct epo… in s_subscribe_to_io_events() local32 handle->additional_data = epoll_event_data; in s_subscribe_to_io_events()34 if (!epoll_event_data) { in s_subscribe_to_io_events()40 epoll_event_data->user_data = user_data; in s_subscribe_to_io_events()41 epoll_event_data->handle = handle; in s_subscribe_to_io_events()42 epoll_event_data->on_event = on_event; in s_subscribe_to_io_events()43 epoll_event_data->is_subscribed = true; in s_subscribe_to_io_events()60 .data = {.ptr = epoll_event_data}, in s_subscribe_to_io_events()65 epoll_event.data.ptr = epoll_event_data; in s_subscribe_to_io_events()79 _(wrap(&epoll_event_data->cleanup_task)) in s_subscribe_to_io_events()[all …]
21 _(requires \malloc_root((struct epoll_event_data *)arg)) in s_unsubscribe_cleanup_task()22 _(writes \extent((struct epoll_event_data *)arg)) in s_unsubscribe_cleanup_task()26 struct epoll_event_data *event_data = (struct epoll_event_data *)arg; in s_unsubscribe_cleanup_task()39 struct epoll_event_data *additional_handle_data = handle->additional_data; in s_unsubscribe_from_io_events()
92 struct epoll_event_data;259 _(requires \malloc_root((struct epoll_event_data *)arg))260 _(writes \extent((struct epoll_event_data *)arg))565 struct epoll_event_data { struct573 _(invariant ((struct epoll_event_data *)handle->additional_data) == \this) argument625 \malloc_root((struct epoll_event_data *)handle->additional_data) &&626 \wrapped((struct epoll_event_data *)handle->additional_data) &&627 (handle->\owner == (struct epoll_event_data *)handle->additional_data);668 …_(ensures \result == AWS_OP_SUCCESS ==> \fresh((struct epoll_event_data *)handle->additional_data…682 _(writes ((struct epoll_event_data *)handle->additional_data))[all …]
68 _(assert \wrapped((struct epoll_event_data *)handle->additional_data)) in test_subscribe_unsubscribe()69 _(assert ((struct epoll_event_data *)handle->additional_data)->\owner == \me) in test_subscribe_unsubscribe()
93 struct epoll_event_data *event_data = (struct epoll_event_data *)events[i].data.ptr; in s_main_loop()
96 struct epoll_event_data { struct395 …struct epoll_event_data *epoll_event_data = aws_mem_calloc(event_loop->alloc, 1, sizeof(struct epo… in s_subscribe_to_io_events() local396 handle->additional_data = epoll_event_data; in s_subscribe_to_io_events()397 if (!epoll_event_data) { in s_subscribe_to_io_events()403 epoll_event_data->user_data = user_data; in s_subscribe_to_io_events()404 epoll_event_data->handle = handle; in s_subscribe_to_io_events()405 epoll_event_data->on_event = on_event; in s_subscribe_to_io_events()406 epoll_event_data->is_subscribed = true; in s_subscribe_to_io_events()421 .data = {.ptr = epoll_event_data}, in s_subscribe_to_io_events()444 struct epoll_event_data *event_data = (struct epoll_event_data *)arg; in s_unsubscribe_cleanup_task()[all …]