Searched refs:local_ctx (Results 1 – 1 of 1) sorted by relevance
303 __block exclaves_ctx_t local_ctx = {}; in exclaves_xnuproxy_ctx_alloc() local313 local_ctx.ipcb = (Exclaves_L4_IpcBuffer_t *)phystokv(c.buffer); in exclaves_xnuproxy_ctx_alloc()314 local_ctx.scid = c.scid; in exclaves_xnuproxy_ctx_alloc()331 *ctx = local_ctx; in exclaves_xnuproxy_ctx_alloc()358 __block exclaves_ctx_t local_ctx = *ctx; in exclaves_xnuproxy_ctx_free() local363 .scid = local_ctx.scid, in exclaves_xnuproxy_ctx_free()