MPI_File_write_all.openmpi(3) on Linux

The text ebd6cb40f713, as Debian 8 (Jessie) shipped it.

Writes a file starting at the locations specified by individual file pointers (blocking, collective).