Searched defs:head_ptr (Results 1 – 1 of 1) sorted by relevance
415 node * head_ptr = pool.get_pointer(head); in pop() local477 node * head_ptr = pool.get_pointer(head); in unsynchronized_pop() local