- void *unused_was_proc_get_wqlockptr;
- void *unused_was_proc_get_wqinitingptr;
- void* (*proc_get_wqptr)(struct proc *t);
- void (*proc_set_wqptr)(struct proc *t, void* ptr);
- void *unused_was_proc_get_wqsize;
- void *unused_was_proc_set_wqsize;
- void (*proc_lock)(struct proc *t);
- void (*proc_unlock)(struct proc *t);
- task_t (*proc_get_task)(struct proc *t);
+ void *__unused_was_proc_get_wqlockptr;
+ void *__unused_was_proc_get_wqinitingptr;
+ void *__unused_was_proc_get_wqptr;
+
+ wait_result_t (*psynch_wait_prepare)(uintptr_t kwq,
+ struct turnstile **tstore, thread_t owner, block_hint_t block_hint,
+ uint64_t deadline);
+
+ void (*psynch_wait_update_complete)(struct turnstile *turnstile);
+
+ void (*psynch_wait_complete)(uintptr_t kwq, struct turnstile **tstore);
+
+ void (*psynch_wait_cleanup)(void);
+
+ kern_return_t (*psynch_wait_wakeup)(uintptr_t kwq,
+ struct ksyn_waitq_element *kwe, struct turnstile **tstore);
+
+ void (*psynch_wait_update_owner)(uintptr_t kwq, thread_t owner,
+ struct turnstile **tstore);
+