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 …]
306 Exclaves_L4_IpcBuffer_t *ipcb = exclaves_get_ipc_buffer(); in _exclaves_ctl_trap() local308 if (!ipcb && (error = exclaves_allocate_ipc_buffer((void**)&ipcb))) { in _exclaves_ctl_trap()311 assert(ipcb != NULL); in _exclaves_ctl_trap()312 if ((error = copyin(ubuffer, ipcb, usize))) { in _exclaves_ctl_trap()330 error = copyout(ipcb, ubuffer, usize); in _exclaves_ctl_trap()858 Exclaves_L4_IpcBuffer_t *ipcb = Exclaves_L4_IpcBuffer(); in exclaves_endpoint_call() local859 assert(ipcb != NULL); in exclaves_endpoint_call()865 ipcb->mr[Exclaves_L4_Ipc_Mr_Tag] = *tag; in exclaves_endpoint_call()867 *tag = ipcb->mr[Exclaves_L4_Ipc_Mr_Tag]; in exclaves_endpoint_call()868 *error = XNUPROXY_CR_RETVAL(ipcb); in exclaves_endpoint_call()[all …]
679 Exclaves_L4_IpcBuffer_t *ipcb = Exclaves_L4_IpcBuffer(); in exclaves_call_upcall_handler() local680 exclaves_badge_t badge = XNUPROXY_CR_UPCALL_BADGE(ipcb); in exclaves_call_upcall_handler()729 Exclaves_L4_IpcBuffer_t *ipcb = Exclaves_L4_IpcBuffer(); in exclaves_test_upcall_handler() local730 assert(ipcb != NULL); in exclaves_test_upcall_handler()
722 assert(thread->th_exclaves_ipc_ctx.ipcb == NULL); in thread_terminate_self()
3473 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
1111 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()