Searched refs:exclaves_register_upcall_handler (Results 1 – 2 of 2) sorted by relevance
313 exclaves_register_upcall_handler(exclaves_id_t upcall_id, void *upcall_context, in exclaves_register_upcall_handler() function339 kr = exclaves_register_upcall_handler( in exclaves_upcall_init()526 exclaves_register_upcall_handler(exclaves_id_t upcall_id, void *upcall_context, in exclaves_register_upcall_handler() function
782 exclaves_register_upcall_handler(exclaves_id_t upcall_id, void *upcall_context,