Searched refs:c_service_bitmap (Results 1 – 2 of 2) sorted by relevance
112 bitmap_t c_service_bitmap[BITMAP_LEN(CONCLAVE_SERVICE_MAX)]; member
502 bitmap_set(c->c_service_bitmap, in populate_conclave_services()1287 return bitmap_test(conclave->c_service_bitmap, (uint32_t)id); in exclaves_conclave_has_service()