Searched refs:ring_buf_old (Results 1 – 4 of 4) sorted by relevance
26 struct aws_ring_buffer ring_buf_old = ring_buf; in aws_ring_buffer_acquire_harness() local31 uint8_t *old_head = aws_atomic_load_ptr(&ring_buf_old.head); in aws_ring_buffer_acquire_harness()32 uint8_t *old_tail = aws_atomic_load_ptr(&ring_buf_old.tail); in aws_ring_buffer_acquire_harness()41 if (aws_ring_buffer_is_empty(&ring_buf_old)) { in aws_ring_buffer_acquire_harness()42 assert(new_head == ring_buf_old.allocation + requested_size); in aws_ring_buffer_acquire_harness()43 assert(new_tail == ring_buf_old.allocation); in aws_ring_buffer_acquire_harness()48 assert(IMPLIES(is_empty_state(&ring_buf_old), is_front_valid_state(&ring_buf))); in aws_ring_buffer_acquire_harness()55 assert(ring_buf == ring_buf_old); in aws_ring_buffer_acquire_harness()58 assert(ring_buf.allocator == ring_buf_old.allocator); in aws_ring_buffer_acquire_harness()59 assert(ring_buf.allocation == ring_buf_old.allocation); in aws_ring_buffer_acquire_harness()[all …]
28 struct aws_ring_buffer ring_buf_old = ring_buf; in aws_ring_buffer_acquire_up_to_harness() local38 assert(IMPLIES(is_empty_state(&ring_buf_old), is_front_valid_state(&ring_buf))); in aws_ring_buffer_acquire_up_to_harness()39 assert(IMPLIES(is_front_valid_state(&ring_buf_old), is_front_valid_state(&ring_buf))); in aws_ring_buffer_acquire_up_to_harness()41 …is_middle_valid_state(&ring_buf_old), is_middle_valid_state(&ring_buf) || is_ends_valid_state(&rin… in aws_ring_buffer_acquire_up_to_harness()42 assert(IMPLIES(is_ends_valid_state(&ring_buf_old), is_ends_valid_state(&ring_buf))); in aws_ring_buffer_acquire_up_to_harness()43 assert(!(is_front_valid_state(&ring_buf_old) && is_middle_valid_state(&ring_buf))); in aws_ring_buffer_acquire_up_to_harness()45 assert(ring_buf == ring_buf_old); in aws_ring_buffer_acquire_up_to_harness()48 assert(ring_buf.allocator == ring_buf_old.allocator); in aws_ring_buffer_acquire_up_to_harness()49 assert(ring_buf.allocation == ring_buf_old.allocation); in aws_ring_buffer_acquire_up_to_harness()50 assert(ring_buf.allocation_end == ring_buf_old.allocation_end); in aws_ring_buffer_acquire_up_to_harness()
26 struct aws_ring_buffer ring_buf_old = ring_buf; in aws_ring_buffer_release_harness() local32 uint8_t *old_head = aws_atomic_load_ptr(&ring_buf_old.head); in aws_ring_buffer_release_harness()33 uint8_t *old_tail = aws_atomic_load_ptr(&ring_buf_old.tail); in aws_ring_buffer_release_harness()37 assert(ring_buf.allocator == ring_buf_old.allocator); in aws_ring_buffer_release_harness()38 assert(ring_buf.allocation == ring_buf_old.allocation); in aws_ring_buffer_release_harness()41 assert(ring_buf.allocation_end == ring_buf_old.allocation_end); in aws_ring_buffer_release_harness()46 …assert(IMPLIES(is_front_valid_state(&ring_buf_old), is_empty_state(&ring_buf) || is_middle_valid_s… in aws_ring_buffer_release_harness()48 is_middle_valid_state(&ring_buf_old), in aws_ring_buffer_release_harness()51 is_ends_valid_state(&ring_buf_old), in aws_ring_buffer_release_harness()
29 struct aws_ring_buffer ring_buf_old = ring_buf; in aws_ring_buffer_buf_belongs_to_pool_harness() local38 assert(ring_buf_old == ring_buf); in aws_ring_buffer_buf_belongs_to_pool_harness()