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