display_platforms_num_bits
return bitmap_weight(p->bitmap, display_platforms_num_bits());
bitmap_or(dst->bitmap, dst->bitmap, src->bitmap, display_platforms_num_bits());