Searched defs:old_tos_pointer (Results 1 – 1 of 1) sorted by relevance
499 node * old_tos_pointer = pool.get_pointer(old_tos); in unsynchronized_pop() local527 node * old_tos_pointer = pool.get_pointer(old_tos); in consume_one() local548 node * old_tos_pointer = pool.get_pointer(old_tos); in consume_one() local606 node * old_tos_pointer = pool.get_pointer(old_tos); in consume_all_atomic() local646 node * old_tos_pointer = pool.get_pointer(old_tos); in consume_all_atomic() local693 node * old_tos_pointer = pool.get_pointer(old_tos); in consume_all_atomic_reversed() local751 node * old_tos_pointer = pool.get_pointer(old_tos); in consume_all_atomic_reversed() local