Searched refs:lck_ticket_type (Results 1 – 2 of 2) sorted by relevance
166 if (tlock->lck_ticket_type != LCK_TYPE_TICKET) { in lck_ticket_verify()231 .lck_ticket_type = LCK_TYPE_TICKET, in lck_ticket_init()297 tlock->lck_ticket_type = LCK_TYPE_NONE; in lck_ticket_destroy()
144 uint32_t lck_ticket_type : 8; member