osfmk/kern/sched_prim.c

1150 	wait_queue_t		wqueue;
1155 	wqueue = &wait_queues[wait_hash(event)];
1158 	wait_queue_lock(wqueue);
1167 	wresult = wait_queue_assert_wait64_locked(wqueue, CAST_DOWN(event64_t, event),
1171 	wait_queue_unlock(wqueue);
1185 	wait_queue_t		wqueue;
1189 	wqueue = &wait_queues[wait_hash(event)];
1192 	wait_queue_lock(wqueue);
1199 	wresult = wait_queue_assert_wait64_locked(wqueue, CAST_DOWN(event64_t,event),
1203 	wait_queue_unlock(wqueue);