Searched refs:exclaves_badge_t (Results 1 – 1 of 1) sorted by relevance
244 typedef uint64_t exclaves_badge_t; typedef267 exclaves_badge_t badge);