Searched refs:local_ctx (Results 1 – 1 of 1) sorted by relevance
302 __block exclaves_ctx_t local_ctx = {}; in exclaves_xnuproxy_ctx_alloc() local312 local_ctx.ipcb = (Exclaves_L4_IpcBuffer_t *)phystokv(c.buffer); in exclaves_xnuproxy_ctx_alloc()313 local_ctx.scid = c.scid; in exclaves_xnuproxy_ctx_alloc()330 *ctx = local_ctx; in exclaves_xnuproxy_ctx_alloc()357 __block exclaves_ctx_t local_ctx = *ctx; in exclaves_xnuproxy_ctx_free() local362 .scid = local_ctx.scid, in exclaves_xnuproxy_ctx_free()