Searched refs:upcall_id (Results 1 – 3 of 3) sorted by relevance
583 exclaves_register_upcall_handler(exclaves_id_t upcall_id, void *upcall_context, in exclaves_register_upcall_handler() argument586 assert3u(upcall_id, <, NUM_XNUPROXY_UPCALLS); in exclaves_register_upcall_handler()590 assert(exclaves_upcall_handlers[upcall_id].handler == NULL); in exclaves_register_upcall_handler()592 exclaves_upcall_handlers[upcall_id] = in exclaves_register_upcall_handler()670 exclaves_call_upcall_handler(exclaves_id_t upcall_id) in exclaves_call_upcall_handler() argument684 if (upcall_id < NUM_XNUPROXY_UPCALLS) { in exclaves_call_upcall_handler()685 upcall_handler = exclaves_upcall_handlers[upcall_id]; in exclaves_call_upcall_handler()806 exclaves_call_upcall_handler(exclaves_id_t upcall_id) in exclaves_call_upcall_handler() argument808 (void)upcall_id; in exclaves_call_upcall_handler()813 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);
939 exclaves_register_upcall_handler(exclaves_id_t upcall_id, void *upcall_context,