Searched refs:lck_ticket_destroy (Results 1 – 4 of 4) sorted by relevance
147 void lck_ticket_destroy(lck_ticket_t *tlock, lck_grp_t *grp);
219 lck_ticket_destroy(lck_ticket_t *tlock, __unused lck_grp_t *grp) in lck_ticket_destroy() function
118 lck_ticket_destroy(&space->is_lock, &ipc_lck_grp); in ipc_space_free()
1987 lck_ticket_destroy(&wq->wq_lock, &workq_lck_grp); in workq_deallocate_queue_invoke()