Searched refs:exclaves_register_upcall_handler (Results 1 – 2 of 2) sorted by relevance
566 exclaves_register_upcall_handler(exclaves_id_t upcall_id, void *upcall_context, in exclaves_register_upcall_handler() function592 kr = exclaves_register_upcall_handler( in exclaves_upcall_init()796 exclaves_register_upcall_handler(exclaves_id_t upcall_id, void *upcall_context, in exclaves_register_upcall_handler() function
873 exclaves_register_upcall_handler(exclaves_id_t upcall_id, void *upcall_context,