Searched refs:upcall_id (Results 1 – 3 of 3) sorted by relevance
313 exclaves_register_upcall_handler(exclaves_id_t upcall_id, void *upcall_context, in exclaves_register_upcall_handler() argument316 assert3u(upcall_id, <, NUM_XNUPROXY_UPCALLS); in exclaves_register_upcall_handler()320 assert(exclaves_upcall_handlers[upcall_id].handler == NULL); in exclaves_register_upcall_handler()322 exclaves_upcall_handlers[upcall_id] = in exclaves_register_upcall_handler()383 exclaves_call_upcall_handler(exclaves_id_t upcall_id) in exclaves_call_upcall_handler() argument397 if (upcall_id < NUM_XNUPROXY_UPCALLS) { in exclaves_call_upcall_handler()398 upcall_handler = exclaves_upcall_handlers[upcall_id]; in exclaves_call_upcall_handler()519 exclaves_call_upcall_handler(exclaves_id_t upcall_id) in exclaves_call_upcall_handler() argument521 (void)upcall_id; in exclaves_call_upcall_handler()526 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);
782 exclaves_register_upcall_handler(exclaves_id_t upcall_id, void *upcall_context,