Searched refs:ipcb (Results 1 – 8 of 8) sorted by relevance
70 assert3p(exclaves_bootstrap_ctx.ipcb, !=, NULL); in exclaves_bootstrap_context_acquire()96 assert3p(thread->th_exclaves_ipc_ctx.ipcb, ==, exclaves_bootstrap_ctx.ipcb); in exclaves_bootstrap_context_release()186 ctx->ipcb = (void *)cached_buffer; in exclaves_ipc_buffer_cache_alloc()206 bzero(ctx->ipcb, Exclaves_L4_IpcBuffer_Size); in exclaves_ipc_buffer_cache_free()220 cached_buffer = (void *)ctx->ipcb; in exclaves_ipc_buffer_cache_free()223 ctx->ipcb = NULL; in exclaves_ipc_buffer_cache_free()312 local_ctx.ipcb = (Exclaves_L4_IpcBuffer_t *)phystokv(c.buffer); in exclaves_xnuproxy_ctx_alloc()375 ctx->ipcb = NULL; in exclaves_xnuproxy_ctx_free()816 Exclaves_L4_IpcBuffer_t *ipcb = thread->th_exclaves_ipc_ctx.ipcb; in exclaves_xnuproxy_endpoint_call() local820 XNUPROXY_CR_ENDPOINT_ID(ipcb) = endpoint_id; in exclaves_xnuproxy_endpoint_call()[all …]
295 Exclaves_L4_IpcBuffer_t *ipcb = exclaves_get_ipc_buffer(); in _exclaves_ctl_trap() local297 if (!ipcb && (error = exclaves_allocate_ipc_buffer((void**)&ipcb))) { in _exclaves_ctl_trap()300 assert(ipcb != NULL); in _exclaves_ctl_trap()301 if ((error = copyin(ubuffer, ipcb, usize))) { in _exclaves_ctl_trap()319 error = copyout(ipcb, ubuffer, usize); in _exclaves_ctl_trap()796 Exclaves_L4_IpcBuffer_t *ipcb = Exclaves_L4_IpcBuffer(); in exclaves_endpoint_call() local797 assert(ipcb != NULL); in exclaves_endpoint_call()803 ipcb->mr[Exclaves_L4_Ipc_Mr_Tag] = *tag; in exclaves_endpoint_call()805 *tag = ipcb->mr[Exclaves_L4_Ipc_Mr_Tag]; in exclaves_endpoint_call()806 *error = XNUPROXY_CR_RETVAL(ipcb); in exclaves_endpoint_call()[all …]
392 Exclaves_L4_IpcBuffer_t *ipcb = Exclaves_L4_IpcBuffer(); in exclaves_call_upcall_handler() local393 exclaves_badge_t badge = XNUPROXY_CR_UPCALL_BADGE(ipcb); in exclaves_call_upcall_handler()442 Exclaves_L4_IpcBuffer_t *ipcb = Exclaves_L4_IpcBuffer(); in exclaves_test_upcall_handler() local443 assert(ipcb != NULL); in exclaves_test_upcall_handler()
716 assert(thread->th_exclaves_ipc_ctx.ipcb == NULL); in thread_terminate_self()
3337 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
925 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()