Searched refs:HW_LCK_TICKET_VERIFY (Results 1 – 1 of 1) sorted by relevance
172 #define HW_LCK_TICKET_VERIFY(lck) hw_lck_ticket_verify(lck) macro180 #define HW_LCK_TICKET_VERIFY(lck) ((void)0) macro616 HW_LCK_TICKET_VERIFY(lck); in hw_lck_ticket_lock_internal()650 HW_LCK_TICKET_VERIFY(lck); in hw_lck_ticket_lock_to_internal()724 HW_LCK_TICKET_VERIFY(lck); in hw_lck_ticket_lock_try_internal()836 HW_LCK_TICKET_VERIFY(lck); in hw_lck_ticket_reserve_nopreempt()934 HW_LCK_TICKET_VERIFY(lck); in hw_lck_ticket_unlock_nopreempt()941 HW_LCK_TICKET_VERIFY(lck); in hw_lck_ticket_unlock()