Searched defs:spawned_scid (Results 1 – 2 of 2) sorted by relevance
69 Exclaves_L4_Word_t spawned_scid = 0; in exclaves_xnu_proxy_panic_thread() local
1407 const XrtHosted_Spawned_t *spawned, Exclaves_L4_Word_t *spawned_scid) in handle_response_spawned()1709 Exclaves_L4_Word_t *spawned_scid, bool interrupted) in exclaves_scheduler_resume_scheduling_context()1936 Exclaves_L4_Word_t spawned_scid = 0; in exclaves_xnu_proxy_allocate_context() local