Searched refs:hw_lck_ticket_invalidate (Results 1 – 4 of 4) sorted by relevance
173 void hw_lck_ticket_invalidate(hw_lck_ticket_t *tlock);
182 hw_lck_ticket_invalidate(lck); in hw_lck_ticket_allow_invalid_test()
703 hw_lck_ticket_invalidate(hw_lck_ticket_t *lck) in hw_lck_ticket_invalidate() function
716 hw_lck_ticket_invalidate(&waitq.wq_q->waitq_interlock); in waitq_invalidate()