Searched refs:exclaves_register_upcall_handler (Results 1 – 2 of 2) sorted by relevance
528 exclaves_register_upcall_handler(exclaves_id_t upcall_id, void *upcall_context, in exclaves_register_upcall_handler() function554 kr = exclaves_register_upcall_handler( in exclaves_upcall_init()748 exclaves_register_upcall_handler(exclaves_id_t upcall_id, void *upcall_context, in exclaves_register_upcall_handler() function
850 exclaves_register_upcall_handler(exclaves_id_t upcall_id, void *upcall_context,