#include <stdint.h>
#include <stdbool.h>
-#include "mc_private.h"
+#include <simgrid_config.h>
+
+SG_BEGIN_DECL()
+
+extern int xbt_pagesize;
+extern int xbt_pagebits;
/** @brief How many memory pages are necessary to store size bytes?
*
return ((uintptr_t) a >> xbt_pagebits) == ((uintptr_t) b >> xbt_pagebits);
}
+SG_END_DECL()
+
#endif