Man pages matching name mpi_t_source_get_timestamp in section 3:

MPI_T_source_get_timestamp.3.en

debian 12 / mpich-doc