Man pages matching name semanage_count in section 3:

semanage_count.3.en	debian 10 / libsemanage1-dev
semanage_count.3.en	debian 11 / libsemanage1-dev
semanage_count.3.en	debian 12 / libsemanage-dev