Man pages matching name mpi_get_count_c in section 3:

MPI_Get_count_c.3.en

debian 12 / mpich-doc