Searched defs:micro_queue_pop_finalizer (Results 1 – 1 of 1) sorted by relevance
46 class micro_queue_pop_finalizer; variable371 micro_queue_pop_finalizer( Container& queue, Allocator& alloc, ticket_type k, padded_page* p ) : in micro_queue_pop_finalizer() function