Searched refs:exclaves_register_upcall_handler (Results 1 – 2 of 2) sorted by relevance
583 exclaves_register_upcall_handler(exclaves_id_t upcall_id, void *upcall_context, in exclaves_register_upcall_handler() function609 kr = exclaves_register_upcall_handler( in exclaves_upcall_init()813 exclaves_register_upcall_handler(exclaves_id_t upcall_id, void *upcall_context, in exclaves_register_upcall_handler() function
939 exclaves_register_upcall_handler(exclaves_id_t upcall_id, void *upcall_context,