Home
last modified time | relevance | path

Searched refs:hw_lck_ticket_t (Results 1 – 5 of 5) sorted by relevance

/xnu-8020.140.41/osfmk/kern/
H A Dlock_ticket.c69 static_assert(sizeof(hw_lck_ticket_t) == 4);
70 static_assert(offsetof(hw_lck_ticket_t, tcurnext) == 2);
71 static_assert(offsetof(hw_lck_ticket_t, cticket) == 2);
72 static_assert(offsetof(hw_lck_ticket_t, nticket) == 3);
74 (8 * offsetof(hw_lck_ticket_t, lck_valid)));
76 (1u << (8 * offsetof(hw_lck_ticket_t, nticket))));
87 __hw_lck_invalid_panic(hw_lck_ticket_t *lck) in __hw_lck_invalid_panic()
98 hw_lck_ticket_verify(hw_lck_ticket_t *lck) in hw_lck_ticket_verify()
121 hw_lck_ticket_init(hw_lck_ticket_t *lck, lck_grp_t *grp) in hw_lck_ticket_init()
124 os_atomic_store(lck, ((hw_lck_ticket_t){ in hw_lck_ticket_init()
[all …]
H A Dticket_lock.h132 } hw_lck_ticket_t; typedef
146 hw_lck_ticket_t tu;
154 void hw_lck_ticket_init(hw_lck_ticket_t * tlock LCK_GRP_ARG(lck_grp_t *grp));
155 void hw_lck_ticket_init_locked(hw_lck_ticket_t * tlock LCK_GRP_ARG(lck_grp_t *grp));
156 void hw_lck_ticket_destroy(hw_lck_ticket_t * tlock LCK_GRP_ARG(lck_grp_t *grp));
158 bool hw_lck_ticket_held(hw_lck_ticket_t *tlock) __result_use_check;
159 void hw_lck_ticket_lock(hw_lck_ticket_t * tlock LCK_GRP_ARG(lck_grp_t *grp));
160 hw_lock_status_t hw_lck_ticket_lock_to(hw_lck_ticket_t * tlock, uint64_t timeout,
162 bool hw_lck_ticket_lock_try(hw_lck_ticket_t * tlock LCK_GRP_ARG(lck_grp_t *grp)) __result_use_check;
163 void hw_lck_ticket_unlock(hw_lck_ticket_t *tlock);
[all …]
H A Dtest_lock.c42 hw_lck_ticket_test_wait_for_delta(hw_lck_ticket_t *lck, uint8_t delta, int msec) in hw_lck_ticket_test_wait_for_delta()
44 hw_lck_ticket_t tmp; in hw_lck_ticket_test_wait_for_delta()
60 hw_lck_ticket_t *lck = arg; in hw_lck_ticket_allow_invalid_worker()
80 hw_lck_ticket_t *lck; in hw_lck_ticket_allow_invalid_test()
93 lck = (hw_lck_ticket_t *)addr; in hw_lck_ticket_allow_invalid_test()
H A Dwaitq.h240 hw_lck_ticket_t prefix##_interlock; \
242 sizeof(hw_lck_ticket_t)]; \
H A Dwaitq.c679 hw_lck_ticket_t *lck = _lock; in waitq_timeout_handler()
680 hw_lck_ticket_t tmp; in waitq_timeout_handler()