Searched refs:exclaves_upcall_handler_t (Results 1 – 2 of 2) sorted by relevance
827 (*exclaves_upcall_handler_t)(void *context, exclaves_tag_t *tag, typedef851 exclaves_upcall_handler_t upcall_handler);
77 exclaves_upcall_handler_t handler;529 exclaves_upcall_handler_t upcall_handler) in exclaves_register_upcall_handler()749 exclaves_upcall_handler_t upcall_handler) in exclaves_register_upcall_handler()