Searched refs:exclaves_upcall_handler_t (Results 1 – 2 of 2) sorted by relevance
71 exclaves_upcall_handler_t handler;310 exclaves_upcall_handler_t upcall_handler) in exclaves_register_upcall_handler()529 exclaves_upcall_handler_t upcall_handler) in exclaves_register_upcall_handler()
694 (*exclaves_upcall_handler_t)(void *context, exclaves_tag_t *tag, typedef718 exclaves_upcall_handler_t upcall_handler);