Searched refs:hw_lck_ticket_invalidate (Results 1 – 4 of 4) sorted by relevance
141 hw_lck_ticket_invalidate(lck); in hw_lck_ticket_allow_invalid_test()
198 extern void hw_lck_ticket_invalidate(
918 hw_lck_ticket_invalidate(hw_lck_ticket_t *lck) in hw_lck_ticket_invalidate() function
702 hw_lck_ticket_invalidate(&waitq.wq_q->waitq_interlock); in waitq_invalidate()