Searched refs:upcall_id (Results 1 – 3 of 3) sorted by relevance
566 exclaves_register_upcall_handler(exclaves_id_t upcall_id, void *upcall_context, in exclaves_register_upcall_handler() argument569 assert3u(upcall_id, <, NUM_XNUPROXY_UPCALLS); in exclaves_register_upcall_handler()573 assert(exclaves_upcall_handlers[upcall_id].handler == NULL); in exclaves_register_upcall_handler()575 exclaves_upcall_handlers[upcall_id] = in exclaves_register_upcall_handler()653 exclaves_call_upcall_handler(exclaves_id_t upcall_id) in exclaves_call_upcall_handler() argument667 if (upcall_id < NUM_XNUPROXY_UPCALLS) { in exclaves_call_upcall_handler()668 upcall_handler = exclaves_upcall_handlers[upcall_id]; in exclaves_call_upcall_handler()789 exclaves_call_upcall_handler(exclaves_id_t upcall_id) in exclaves_call_upcall_handler() argument791 (void)upcall_id; in exclaves_call_upcall_handler()796 exclaves_register_upcall_handler(exclaves_id_t upcall_id, void *upcall_context, in exclaves_register_upcall_handler() argument[all …]
40 exclaves_call_upcall_handler(exclaves_id_t upcall_id);
873 exclaves_register_upcall_handler(exclaves_id_t upcall_id, void *upcall_context,