Searched defs:badge (Results 1 – 1 of 1) sorted by relevance
663 exclaves_badge_t badge = XNUPROXY_CR_UPCALL_BADGE(ipcb); in exclaves_call_upcall_handler() local709 exclaves_badge_t badge) in exclaves_test_upcall_handler()769 exclaves_badge_t badge) in exclaves_test_hello_upcall_handler()