Man pages matching name s3d_push_vertices in section 3:

s3d_push_vertices.3.en	debian 10 / s3d-doc
s3d_push_vertices.3.en	debian 11 / s3d-doc
s3d_push_vertices.3.en	debian 12 / s3d-doc