Searched refs:badge (Results 1 – 2 of 2) sorted by relevance
615 exclaves_badge_t badge = XNUPROXY_CR_UPCALL_BADGE(ipcb); in exclaves_call_upcall_handler() local624 kr = upcall_handler.handler(upcall_handler.context, &tag, badge); in exclaves_call_upcall_handler()661 exclaves_badge_t badge) in exclaves_test_upcall_handler() argument663 #pragma unused(context, badge) in exclaves_test_upcall_handler()721 exclaves_badge_t badge) in exclaves_test_hello_upcall_handler() argument730 return exclaves_test_upcall_handler(context, tag, badge); in exclaves_test_hello_upcall_handler()
828 exclaves_badge_t badge);