Searched refs:exclaves_xnu_proxy_endpoint_call (Results 1 – 1 of 1) sorted by relevance
193 exclaves_xnu_proxy_endpoint_call(Exclaves_L4_Word_t endpoint_id);1199 kr = exclaves_xnu_proxy_endpoint_call(endpoint_id); in exclaves_endpoint_call_internal()2588 exclaves_xnu_proxy_endpoint_call(Exclaves_L4_Word_t endpoint_id) in exclaves_xnu_proxy_endpoint_call() function