134 	    lck->tu.lck_value, lck->lck_ticket_padding);  in __lck_ticket_invalid_panic()
232 		.tu = {  in lck_ticket_init()
298 	hw_lck_ticket_destroy_internal(&tlock->tu, false LCK_GRP_ARG(grp));  in lck_ticket_destroy()
315 	return hw_lck_ticket_held(&lck->tu);  in kdp_lck_ticket_is_acquired()
370 	lsti = lck_spinlock_timeout_hit(&lck->tu, lck->lck_ticket_owner);  in lck_ticket_timeout_panic()
371 	tmp.tcurnext = os_atomic_load(&lck->tu.tcurnext, relaxed);  in lck_ticket_timeout_panic()
398 	.hwsp_lock_offset       = offsetof(lck_ticket_t, tu),
591 	(void)hw_lck_ticket_contended(&tlock->tu, arg, &lck_ticket_spin_policy  in lck_ticket_contended()
692 	tmp = hw_lck_ticket_reserve_orig(&tlock->tu);  in lck_ticket_lock_internal()
696 		return lck_grp_ticket_update_held(&tlock->tu LCK_GRP_ARG(grp));  in lck_ticket_lock_internal()
773 	os_atomic_rmw_loop(&tlock->tu.tcurnext, olck.tcurnext, nlck.tcurnext, acquire, {  in lck_ticket_lock_try_internal()
787 	lck_grp_ticket_update_held(&tlock->tu LCK_GRP_ARG(grp));  in lck_ticket_lock_try_internal()
945 	hw_lck_ticket_unlock_internal_nopreempt(&tlock->tu);  in lck_ticket_unlock_nopreempt()
954 	hw_lck_ticket_unlock_internal(&tlock->tu);  in lck_ticket_unlock()