Searched refs:exclaves_badge_t (Results 1 – 2 of 2) sorted by relevance
80 exclaves_test_hello_upcall_handler(void *, exclaves_tag_t *, exclaves_badge_t);383 exclaves_badge_t badge = XNUPROXY_CR_UPCALL_BADGE(ipcb); in exclaves_call_upcall_handler()425 exclaves_badge_t badge) in exclaves_test_upcall_handler()503 exclaves_badge_t badge) in exclaves_test_hello_upcall_handler()
672 typedef uint64_t exclaves_badge_t; typedef695 exclaves_badge_t badge);