Searched refs:exclaves_test_hello_upcall_handler (Results 1 – 1 of 1) sorted by relevance
92 exclaves_test_hello_upcall_handler(void *, exclaves_tag_t *, exclaves_badge_t);611 exclaves_test_hello_upcall_handler); in exclaves_upcall_init()785 exclaves_test_hello_upcall_handler(void *context, exclaves_tag_t *tag, in exclaves_test_hello_upcall_handler() function