From: Matthieu Volat <mazhe@alkumuna.eu>
Date: Mon, 31 Oct 2016 18:03:55 +0000 (+0100)
Subject: Use MAP_PREFAULT_READ on FreeBSD as en equivalent to MAP_POPULATE.
X-Git-Tag: v3_14~254^2~2
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/fa75b0efb3d9066a05489df0bc81226de3eb0d36

Use MAP_PREFAULT_READ on FreeBSD as en equivalent to MAP_POPULATE.
---

diff --git a/src/mc/RegionSnapshot.cpp b/src/mc/RegionSnapshot.cpp
index 7acb69d634..c10dee87c8 100644
--- a/src/mc/RegionSnapshot.cpp
+++ b/src/mc/RegionSnapshot.cpp
@@ -7,6 +7,9 @@
 #include <cstdlib>
 
 #include <sys/mman.h>
+#ifdef __FreeBSD__
+# define MAP_POPULATE MAP_PREFAULT_READ
+#endif
 
 #include "mc/mc.h"
 #include "src/mc/mc_snapshot.h"