Searched refs:ipcb (Results 1 – 8 of 8) sorted by relevance
71 assert3p(exclaves_bootstrap_ctx.ipcb, !=, NULL); in exclaves_bootstrap_context_acquire()97 assert3p(thread->th_exclaves_ipc_ctx.ipcb, ==, exclaves_bootstrap_ctx.ipcb); in exclaves_bootstrap_context_release()187 ctx->ipcb = (void *)cached_buffer; in exclaves_ipc_buffer_cache_alloc()207 bzero(ctx->ipcb, Exclaves_L4_IpcBuffer_Size); in exclaves_ipc_buffer_cache_free()221 cached_buffer = (void *)ctx->ipcb; in exclaves_ipc_buffer_cache_free()224 ctx->ipcb = NULL; in exclaves_ipc_buffer_cache_free()313 local_ctx.ipcb = (Exclaves_L4_IpcBuffer_t *)phystokv(c.buffer); in exclaves_xnuproxy_ctx_alloc()376 ctx->ipcb = NULL; in exclaves_xnuproxy_ctx_free()478 Exclaves_L4_IpcBuffer_t *ipcb = thread->th_exclaves_ipc_ctx.ipcb; in exclaves_xnuproxy_endpoint_call() local482 XNUPROXY_CR_ENDPOINT_ID(ipcb) = endpoint_id; in exclaves_xnuproxy_endpoint_call()[all …]
299 Exclaves_L4_IpcBuffer_t *ipcb = exclaves_get_ipc_buffer(); in _exclaves_ctl_trap() local301 if (!ipcb && (error = exclaves_allocate_ipc_buffer((void**)&ipcb))) { in _exclaves_ctl_trap()304 assert(ipcb != NULL); in _exclaves_ctl_trap()305 if ((error = copyin(ubuffer, ipcb, usize))) { in _exclaves_ctl_trap()323 error = copyout(ipcb, ubuffer, usize); in _exclaves_ctl_trap()764 Exclaves_L4_IpcBuffer_t *ipcb = Exclaves_L4_IpcBuffer(); in exclaves_endpoint_call() local765 assert(ipcb != NULL); in exclaves_endpoint_call()771 ipcb->mr[Exclaves_L4_Ipc_Mr_Tag] = *tag; in exclaves_endpoint_call()773 *tag = ipcb->mr[Exclaves_L4_Ipc_Mr_Tag]; in exclaves_endpoint_call()774 *error = XNUPROXY_CR_RETVAL(ipcb); in exclaves_endpoint_call()[all …]
614 Exclaves_L4_IpcBuffer_t *ipcb = Exclaves_L4_IpcBuffer(); in exclaves_call_upcall_handler() local615 exclaves_badge_t badge = XNUPROXY_CR_UPCALL_BADGE(ipcb); in exclaves_call_upcall_handler()664 Exclaves_L4_IpcBuffer_t *ipcb = Exclaves_L4_IpcBuffer(); in exclaves_test_upcall_handler() local665 assert(ipcb != NULL); in exclaves_test_upcall_handler()
716 assert(thread->th_exclaves_ipc_ctx.ipcb == NULL); in thread_terminate_self()
3341 if (crash_info_ptr != NULL && thread->th_exclaves_ipc_ctx.ipcb != NULL) { in task_start_halt_locked()
350 Exclaves_L4_IpcBuffer_t *ipcb = Exclaves_L4_IpcBuffer(); in Exclaves_L4_SetMrs() local353 ipcb->mr[mr + offset] = words[offset]; in Exclaves_L4_SetMrs()361 Exclaves_L4_IpcBuffer_t *ipcb = Exclaves_L4_IpcBuffer(); in Exclaves_L4_GetMrs() local364 words[offset] = ipcb->mr[mr + offset]; in Exclaves_L4_GetMrs()419 #define EXCLAVES_XNU_PROXY_CR_RETVAL(ipcb) ((ipcb)->dcr[3]) argument
994 void *ipcb; member
54 Exclaves_L4_IpcBuffer_t *ipcb; in exclaves_endpoint_call() local55 ipcb = Exclaves_L4_IpcBuffer_Ptr((void*)msg_buffer); in exclaves_endpoint_call()56 ipcb->mr[Exclaves_L4_Ipc_Mr_Tag] = *tag; in exclaves_endpoint_call()59 *tag = ipcb->mr[Exclaves_L4_Ipc_Mr_Tag]; in exclaves_endpoint_call()60 *error = EXCLAVES_XNU_PROXY_CR_RETVAL(ipcb); in exclaves_endpoint_call()