Searched defs:spawned_scid (Results 1 – 2 of 2) sorted by relevance
90 Exclaves_L4_Word_t spawned_scid = 0; in exclaves_xnu_proxy_panic_thread() local
1704 const XrtHosted_Spawned_t *spawned, Exclaves_L4_Word_t *spawned_scid) in handle_response_spawned()2221 Exclaves_L4_Word_t *spawned_scid, bool interrupted) in exclaves_scheduler_resume_scheduling_context()2536 Exclaves_L4_Word_t spawned_scid = 0; in exclaves_xnu_proxy_allocate_context() local