Searched refs:upcall_handler (Results 1 – 2 of 2) sorted by relevance
584 exclaves_upcall_handler_t upcall_handler) in exclaves_register_upcall_handler() argument587 assert(upcall_handler != NULL); in exclaves_register_upcall_handler()594 .handler = upcall_handler, in exclaves_register_upcall_handler()682 exclaves_upcall_handler_registration_t upcall_handler = {}; in exclaves_call_upcall_handler() local685 upcall_handler = exclaves_upcall_handlers[upcall_id]; in exclaves_call_upcall_handler()687 if (upcall_handler.handler) { in exclaves_call_upcall_handler()689 kr = upcall_handler.handler(upcall_handler.context, &tag, badge); in exclaves_call_upcall_handler()814 exclaves_upcall_handler_t upcall_handler) in exclaves_register_upcall_handler() argument818 (void)upcall_handler; in exclaves_register_upcall_handler()
940 exclaves_upcall_handler_t upcall_handler);