carta

MPI_Win_flush.openmpi(3) on Linux

The text 14a712c24012, as Debian 10 (Buster) shipped it.

Complete all outstanding RMA operations at both the origin and the target

MPI_Win_flush.openmpi(3) on Linux now