Searched refs:scid (Results 1 – 4 of 4) sorted by relevance
122 Exclaves_L4_Word_t scid);135 exclaves_scheduler_resume_scheduling_context(Exclaves_L4_Word_t scid,144 exclaves_xnu_proxy_free_context(Exclaves_L4_Word_t scid);179 Exclaves_L4_Word_t scid; member774 Exclaves_L4_Word_t scid = thread->th_exclaves_scheduling_context_id; in exclaves_allocate_ipc_buffer() local777 assert(scid == 0); in exclaves_allocate_ipc_buffer()778 if ((kr = exclaves_acquire_ipc_buffer(&ipcb, &scid))) { in exclaves_allocate_ipc_buffer()782 thread->th_exclaves_scheduling_context_id = scid; in exclaves_allocate_ipc_buffer()801 Exclaves_L4_Word_t scid = thread->th_exclaves_scheduling_context_id; in exclaves_thread_free_ipc_buffer() local804 assert(scid != 0); in exclaves_thread_free_ipc_buffer()[all …]
167 kern_return_t kret = task_suspend_conclave_upcall(scid_list.scid,168 ARRAY_COUNT(scid_list.scid));
805 STACKSHOT_KCCONTAINER_EXCLAVE_SCRESULT, se->scid)); in stackshot_exclaves_process_stackshotentry()808 info.esc_id = se->scid; in stackshot_exclaves_process_stackshotentry()818 STACKSHOT_KCCONTAINER_EXCLAVE_SCRESULT, se->scid)); in stackshot_exclaves_process_stackshotentry()
552 assert3u(entry->scid, ==, thread->th_exclaves_scheduling_context_id); in kperf_thread_exclaves_ast_handler()