Searched refs:new_head (Results 1 – 2 of 2) sorted by relevance
1147 node_ptr new_head = create_head_node(); in create_head_if_necessary() local1148 if (my_head_ptr.compare_exchange_strong(current_head, new_head)) { in create_head_if_necessary()1149 current_head = new_head; in create_head_if_necessary()1153 delete_node(new_head); in create_head_if_necessary()
283 …void clear(queue_allocator_type& allocator, padded_page* new_head = nullptr, padded_page* new_tail…304 head_page.store(new_head, std::memory_order_relaxed);