Searched refs:page_worker_token_t (Results 1 – 3 of 3) sorted by relevance
893 } page_worker_token_t; typedef898 page_worker_token_t *token);902 page_worker_token_t *out_token);
8350 static bool page_worker_unregister_worker(event_t event, thread_t expect_th, page_worker_token_t *t…8356 vm_page_wakeup_done_with_inheritor(vm_object_t object __unused, vm_page_t m, page_worker_token_t *t…8489 page_worker_register_worker(event_t event __unused, page_worker_token_t *out_token)8507 page_worker_unregister_worker(event_t event, thread_t expect_th __unused, page_worker_token_t *toke…
1735 page_worker_token_t pw_token; in vm_fault_page()