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