MPI_File_get_position_shared.openmpi(3) on Linux

The text 1add67d8fa3d, as Debian 12 (Bookworm) shipped it.

Returns the current position of the shared file pointer.