/dports/devel/aws-c-common/aws-c-common-0.6.15/include/aws/common/ |
H A D | linked_list.h | 13 struct aws_linked_list_node { struct 14 struct aws_linked_list_node *next; argument 15 struct aws_linked_list_node *prev; argument 19 struct aws_linked_list_node head; 20 struct aws_linked_list_node tail; 102 AWS_STATIC_IMPL struct aws_linked_list_node *aws_linked_list_next(const struct aws_linked_list_node… 107 AWS_STATIC_IMPL struct aws_linked_list_node *aws_linked_list_prev(const struct aws_linked_list_node… 113 struct aws_linked_list_node *after, 114 struct aws_linked_list_node *to_add); 118 …TATIC_IMPL void aws_linked_list_swap_nodes(struct aws_linked_list_node *a, struct aws_linked_list_… [all …]
|
H A D | linked_list.inl | 123 struct aws_linked_list_node *rval = list->head.next; 168 AWS_STATIC_IMPL struct aws_linked_list_node *aws_linked_list_next(const struct aws_linked_list_node… 170 struct aws_linked_list_node *rval = node->next; 180 AWS_STATIC_IMPL struct aws_linked_list_node *aws_linked_list_prev(const struct aws_linked_list_node… 182 struct aws_linked_list_node *rval = node->prev; 193 struct aws_linked_list_node *after, 194 struct aws_linked_list_node *to_add) { 210 …TATIC_IMPL void aws_linked_list_swap_nodes(struct aws_linked_list_node *a, struct aws_linked_list_… 221 struct aws_linked_list_node tmp = *b; 242 struct aws_linked_list_node *before, [all …]
|
/dports/devel/aws-c-common/aws-c-common-0.6.15/tests/ |
H A D | linked_list_test.c | 22 struct aws_linked_list_node node; 45 struct aws_linked_list_node *node = aws_linked_list_pop_front(&list); in s_test_linked_list_order_push_back_pop_front() 231 struct aws_linked_list_node a1, a2, b1, b2; in s_test_linked_list_swap_contents() 320 struct aws_linked_list_node a1, a2, b1, b2; in s_test_linked_list_move_all_back() 344 struct aws_linked_list_node *it = aws_linked_list_begin(&a); in s_test_linked_list_move_all_back() 372 struct aws_linked_list_node *expected_b1b2[] = {&b1, &b2}; in s_test_linked_list_move_all_back() 401 struct aws_linked_list_node *expected_a1b1[] = {&a1, &b1}; in s_test_linked_list_move_all_back() 419 struct aws_linked_list_node a1, a2, b1, b2; in s_test_linked_list_move_all_front() 443 struct aws_linked_list_node *it = aws_linked_list_begin(&a); in s_test_linked_list_move_all_front() 471 struct aws_linked_list_node *expected_b2b1[] = {&b2, &b1}; in s_test_linked_list_move_all_front() [all …]
|
/dports/devel/aws-c-common/aws-c-common-0.6.15/source/ |
H A D | file.c | 79 struct aws_linked_list_node *current_node; 86 struct aws_linked_list_node node; 124 struct aws_linked_list_node *node = iterator->current_node; in aws_directory_entry_iterator_next() 136 struct aws_linked_list_node *node = iterator->current_node; in aws_directory_entry_iterator_previous() 149 struct aws_linked_list_node *node = aws_linked_list_pop_front(&iterator->list_data); in aws_directory_entry_iterator_destroy() 163 struct aws_linked_list_node *node = iterator->current_node; in aws_directory_entry_iterator_get_value()
|
H A D | lru_cache.c | 66 struct aws_linked_list_node *node = aws_linked_list_front(list); in s_lru_cache_put() 83 struct aws_linked_list_node *node = aws_linked_list_front(list); in s_lru_cache_use_lru_element() 94 struct aws_linked_list_node *node = aws_linked_list_back(list); in s_lru_cache_get_mru_element()
|
H A D | bus.c | 55 struct aws_linked_list_node list_node; 109 struct aws_linked_list_node *node = aws_linked_list_begin(&list->listeners); in s_bus_deliver_msg_to_slot() 167 struct aws_linked_list_node *node; in s_bus_unsubscribe() 186 struct aws_linked_list_node *back = aws_linked_list_back(&list->listeners); in s_bus_destroy_listener_list() 297 struct aws_linked_list_node list_node; 305 struct aws_linked_list_node list_node; 339 struct aws_linked_list_node *msg_node = aws_linked_list_pop_back(&impl->queue.free); in s_bus_async_alloc_message() 346 struct aws_linked_list_node *msg_node = aws_linked_list_pop_front(&impl->queue.msgs); in s_bus_async_alloc_message() 362 struct aws_linked_list_node *node = aws_linked_list_pop_front(pending_subs); in s_bus_apply_listeners() 375 struct aws_linked_list_node *msg_node = aws_linked_list_begin(pending_msgs); in s_bus_async_deliver_messages()
|
H A D | task_scheduler.c | 106 struct aws_linked_list_node *node = aws_linked_list_front(&scheduler->timed_list); in aws_task_scheduler_has_tasks() 170 struct aws_linked_list_node *node_i; in aws_task_scheduler_schedule_future() 207 … struct aws_linked_list_node *timed_list_node = aws_linked_list_begin(&scheduler->timed_list); in s_run_all() 247 struct aws_linked_list_node *task_node = aws_linked_list_pop_front(&running_list); in s_run_all()
|
H A D | thread_scheduler.c | 30 struct aws_linked_list_node node; 77 struct aws_linked_list_node *node = aws_linked_list_pop_front(&list_cpy); in s_thread_fn() 88 struct aws_linked_list_node *node = aws_linked_list_pop_front(&cancel_list_cpy); in s_thread_fn() 196 …struct aws_linked_list_node *node = aws_linked_list_empty(&scheduler->thread_data.scheduling_queue) in aws_thread_scheduler_cancel_task()
|
/dports/devel/aws-c-common/aws-c-common-0.6.15/verification/cbmc/proofs/aws_linked_list_next/ |
H A D | aws_linked_list_next_harness.c | 11 struct aws_linked_list_node node; // Preconditions require node to not be NULL in aws_linked_list_next_harness() 12 struct aws_linked_list_node after; // Preconditions require after to not be NULL in aws_linked_list_next_harness() 19 struct aws_linked_list_node *rval = aws_linked_list_next(&node); in aws_linked_list_next_harness()
|
/dports/devel/aws-c-common/aws-c-common-0.6.15/verification/cbmc/proofs/aws_linked_list_prev/ |
H A D | aws_linked_list_prev_harness.c | 11 struct aws_linked_list_node node; // Preconditions require node to not be NULL in aws_linked_list_prev_harness() 12 struct aws_linked_list_node before; // Preconditions require before to not be NULL in aws_linked_list_prev_harness() 19 struct aws_linked_list_node *rval = aws_linked_list_prev(&node); in aws_linked_list_prev_harness()
|
/dports/devel/aws-c-common/aws-c-common-0.6.15/verification/cbmc/proofs/aws_linked_list_insert_before/ |
H A D | aws_linked_list_insert_before_harness.c | 11 struct aws_linked_list_node before; in aws_linked_list_insert_before_harness() 12 struct aws_linked_list_node before_prev; in aws_linked_list_insert_before_harness() 13 struct aws_linked_list_node to_add; in aws_linked_list_insert_before_harness()
|
/dports/devel/aws-c-common/aws-c-common-0.6.15/verification/cbmc/proofs/aws_linked_list_insert_after/ |
H A D | aws_linked_list_insert_after_harness.c | 11 struct aws_linked_list_node after; in aws_linked_list_insert_after_harness() 12 struct aws_linked_list_node after_next; in aws_linked_list_insert_after_harness() 13 struct aws_linked_list_node to_add; in aws_linked_list_insert_after_harness()
|
/dports/devel/aws-c-common/aws-c-common-0.6.15/verification/cbmc/proofs/aws_linked_list_remove/ |
H A D | aws_linked_list_remove_harness.c | 11 struct aws_linked_list_node prev; in aws_linked_list_remove_harness() 12 struct aws_linked_list_node next; in aws_linked_list_remove_harness() 13 struct aws_linked_list_node node; in aws_linked_list_remove_harness()
|
/dports/devel/aws-c-common/aws-c-common-0.6.15/include/aws/common/private/ |
H A D | thread_shared.h | 11 struct aws_linked_list_node; 27 AWS_COMMON_API void aws_thread_pending_join_add(struct aws_linked_list_node *node);
|
/dports/devel/aws-c-common/aws-c-common-0.6.15/verification/cbmc/proofs/aws_linked_list_back/ |
H A D | aws_linked_list_back_harness.c | 16 struct aws_linked_list_node *old_last = list.tail.prev; in aws_linked_list_back_harness() 22 struct aws_linked_list_node *back = aws_linked_list_back(&list); in aws_linked_list_back_harness()
|
/dports/devel/aws-c-common/aws-c-common-0.6.15/verification/cbmc/proofs/aws_linked_list_front/ |
H A D | aws_linked_list_front_harness.c | 16 struct aws_linked_list_node *old_first = list.head.next; in aws_linked_list_front_harness() 22 struct aws_linked_list_node *front = aws_linked_list_front(&list); in aws_linked_list_front_harness()
|
/dports/devel/aws-c-http/aws-c-http-0.6.8/source/ |
H A D | connection_manager.c | 36 struct aws_linked_list_node node; 354 struct aws_linked_list_node node; 407 struct aws_linked_list_node *node = aws_linked_list_pop_front(acquisitions); in s_aws_http_connection_manager_complete_acquisitions() 466 struct aws_linked_list_node *node = aws_linked_list_pop_front(&manager->pending_acquisitions); in s_aws_http_connection_manager_move_front_acquisition() 542 … struct aws_linked_list_node *node = aws_linked_list_pop_back(&manager->idle_connections); in s_aws_http_connection_manager_build_transaction() 730 const struct aws_linked_list_node *end = aws_linked_list_end(&manager->idle_connections); in s_schedule_connection_culling() 731 struct aws_linked_list_node *oldest_node = aws_linked_list_begin(&manager->idle_connections); in s_schedule_connection_culling() 968 struct aws_linked_list_node *node = aws_linked_list_pop_back(&work->connections_to_release); in s_aws_http_connection_manager_execute_transaction() 1294 const struct aws_linked_list_node *end = aws_linked_list_end(&manager->idle_connections); in s_aws_http_connection_manager_on_connection_shutdown() 1333 const struct aws_linked_list_node *end = aws_linked_list_end(&manager->idle_connections); in s_cull_idle_connections() [all …]
|
/dports/devel/aws-c-common/aws-c-common-0.6.15/verification/cbmc/proofs/aws_linked_list_pop_back/ |
H A D | aws_linked_list_pop_back_harness.c | 19 struct aws_linked_list_node *old_prev_last = (list.tail.prev)->prev; in aws_linked_list_pop_back_harness() 22 struct aws_linked_list_node *ret = aws_linked_list_pop_back(&list); in aws_linked_list_pop_back_harness()
|
/dports/devel/aws-c-common/aws-c-common-0.6.15/verification/cbmc/proofs/aws_linked_list_pop_front/ |
H A D | aws_linked_list_pop_front_harness.c | 19 struct aws_linked_list_node *old_next_first = (list.head.next)->next; in aws_linked_list_pop_front_harness() 22 struct aws_linked_list_node *ret = aws_linked_list_pop_front(&list); in aws_linked_list_pop_front_harness()
|
/dports/devel/aws-c-common/aws-c-common-0.6.15/verification/cbmc/proofs/aws_linked_list_push_back/ |
H A D | aws_linked_list_push_back_harness.c | 12 struct aws_linked_list_node to_add; in aws_linked_list_push_back_harness() 17 struct aws_linked_list_node *old_last = list.tail.prev; in aws_linked_list_push_back_harness()
|
/dports/devel/aws-c-common/aws-c-common-0.6.15/verification/cbmc/proofs/aws_linked_list_push_front/ |
H A D | aws_linked_list_push_front_harness.c | 12 struct aws_linked_list_node to_add; in aws_linked_list_push_front_harness() 16 struct aws_linked_list_node *old_first = list.head.next; in aws_linked_list_push_front_harness()
|
/dports/devel/aws-c-http/aws-c-http-0.6.8/include/aws/http/private/ |
H A D | h2_connection.h | 165 struct aws_linked_list_node node; 175 struct aws_linked_list_node node; 185 struct aws_linked_list_node node;
|
/dports/devel/aws-c-common/aws-c-common-0.6.15/verification/cbmc/proofs/aws_linked_list_swap_contents/ |
H A D | aws_linked_list_swap_contents_harness.c | 20 struct aws_linked_list_node *old_a_head = &a.head; in aws_linked_list_swap_contents_harness() 22 struct aws_linked_list_node *old_b_head = &b.head; in aws_linked_list_swap_contents_harness()
|
/dports/devel/aws-c-common/aws-c-common-0.6.15/verification/cbmc/sources/ |
H A D | make_common_data_structures.c | 111 struct aws_linked_list_node *curr = &list->head; in ensure_linked_list_is_allocated() 114 struct aws_linked_list_node *node = malloc(sizeof(struct aws_linked_list_node)); in ensure_linked_list_is_allocated()
|
/dports/devel/aws-c-io/aws-c-io-0.10.12/tests/vcc/ |
H A D | preamble.h | 199 struct aws_linked_list_node; 272 struct aws_linked_list_node node; 467 struct aws_linked_list_node { struct 468 struct aws_linked_list_node *next; argument 469 struct aws_linked_list_node *prev; argument 473 struct aws_linked_list_node head; 474 struct aws_linked_list_node tail; 502 struct aws_linked_list_node *aws_linked_list_pop_front(struct aws_linked_list *list _(out struct aw… 518 void aws_linked_list_push_back(struct aws_linked_list *list, struct aws_linked_list_node *node _(gh…
|