Searched refs:exclaves_call_upcall_handler (Results 1 – 3 of 3) sorted by relevance
40 exclaves_call_upcall_handler(exclaves_id_t upcall_id);
670 exclaves_call_upcall_handler(exclaves_id_t upcall_id) in exclaves_call_upcall_handler() function806 exclaves_call_upcall_handler(exclaves_id_t upcall_id) in exclaves_call_upcall_handler() function
522 kr = exclaves_call_upcall_handler(endpoint_id); in exclaves_xnuproxy_endpoint_call()