Man pages matching name mpi_session_get_num_psets in section 3:

MPI_Session_get_num_psets.3.en

debian 12 / mpich-doc