Searched refs:exclaves_xnu_proxy_free_context (Results 1 – 1 of 1) sorted by relevance
191 exclaves_xnu_proxy_free_context(Exclaves_L4_Word_t scid);1177 kr = exclaves_xnu_proxy_free_context(scid); in exclaves_relinquish_ipc_buffer()2564 exclaves_xnu_proxy_free_context(Exclaves_L4_Word_t scid) in exclaves_xnu_proxy_free_context() function