Searched refs:LCK_TYPE_TICKET (Results 1 – 3 of 3) sorted by relevance
131 lck_grp_lckcnt_incr(grp, LCK_TYPE_TICKET); in hw_lck_ticket_init()152 lck_grp_lckcnt_incr(grp, LCK_TYPE_TICKET); in hw_lck_ticket_init_locked()205 lck_grp_lckcnt_decr(grp, LCK_TYPE_TICKET); in hw_lck_ticket_destroy_internal()
46 LCK_TYPE_TICKET enumerator
370 case LCK_TYPE_TICKET: in lck_grp_lckcnt_incr()402 case LCK_TYPE_TICKET: in lck_grp_lckcnt_decr()