Man pages matching name mpi_t_source_get_num in section 3:

MPI_T_source_get_num.3.en

debian 12 / mpich-doc