Man pages matching name mpi_type_get_extent_c in section 3:

MPI_Type_get_extent_c.3.en

debian 12 / mpich-doc