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 …]
304 Exclaves_L4_IpcBuffer_t *ipcb = exclaves_get_ipc_buffer(); in _exclaves_ctl_trap() local306 if (!ipcb && (error = exclaves_allocate_ipc_buffer((void**)&ipcb))) { in _exclaves_ctl_trap()309 assert(ipcb != NULL); in _exclaves_ctl_trap()310 if ((error = copyin(ubuffer, ipcb, usize))) { in _exclaves_ctl_trap()328 error = copyout(ipcb, ubuffer, usize); in _exclaves_ctl_trap()800 Exclaves_L4_IpcBuffer_t *ipcb = Exclaves_L4_IpcBuffer(); in exclaves_endpoint_call() local801 assert(ipcb != NULL); in exclaves_endpoint_call()807 ipcb->mr[Exclaves_L4_Ipc_Mr_Tag] = *tag; in exclaves_endpoint_call()809 *tag = ipcb->mr[Exclaves_L4_Ipc_Mr_Tag]; in exclaves_endpoint_call()810 *error = XNUPROXY_CR_RETVAL(ipcb); in exclaves_endpoint_call()[all …]
662 Exclaves_L4_IpcBuffer_t *ipcb = Exclaves_L4_IpcBuffer(); in exclaves_call_upcall_handler() local663 exclaves_badge_t badge = XNUPROXY_CR_UPCALL_BADGE(ipcb); in exclaves_call_upcall_handler()712 Exclaves_L4_IpcBuffer_t *ipcb = Exclaves_L4_IpcBuffer(); in exclaves_test_upcall_handler() local713 assert(ipcb != NULL); in exclaves_test_upcall_handler()
718 assert(thread->th_exclaves_ipc_ctx.ipcb == NULL); in thread_terminate_self()
3355 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
1033 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()