MPI_File_read.openmpi(3) on Linux

The text 0c3ffda5e8c5, as Debian 10 (Buster) shipped it.

Reads a file starting at the location specified by the individual file pointer (blocking, noncollective).