Searched refs:out_scid (Results 1 – 1 of 1) sorted by relevance
188 exclaves_xnu_proxy_allocate_context(Exclaves_L4_Word_t *out_scid,1122 Exclaves_L4_Word_t *out_scid) in exclaves_acquire_ipc_buffer() argument1158 *out_scid = scid; in exclaves_acquire_ipc_buffer()