Searched refs:out_scid (Results 1 – 1 of 1) sorted by relevance
141 exclaves_xnu_proxy_allocate_context(Exclaves_L4_Word_t *out_scid,947 Exclaves_L4_Word_t *out_scid) in exclaves_acquire_ipc_buffer() argument983 *out_scid = scid; in exclaves_acquire_ipc_buffer()