Searched refs:page_worker_token_t (Results 1 – 3 of 3) sorted by relevance
940 } page_worker_token_t; typedef945 page_worker_token_t *token);949 page_worker_token_t *out_token);
8614 static bool page_worker_unregister_worker(event_t event, thread_t expect_th, page_worker_token_t *t…8620 vm_page_wakeup_done_with_inheritor(vm_object_t object __unused, vm_page_t m, page_worker_token_t *t…8753 page_worker_register_worker(event_t event __unused, page_worker_token_t *out_token)8771 page_worker_unregister_worker(event_t event, thread_t expect_th __unused, page_worker_token_t *toke…
1771 page_worker_token_t pw_token; in vm_fault_page()