#include <dirent.h>
#include "internal_config.h"
+#include "mc_memory_map.h"
#include "mc_private.h"
#include "xbt/module.h"
#include <xbt/mmalloc.h>
#include "mc_private.h"
#include <mc/mc.h>
+#include "mc_snapshot.h"
+#include "mc_object_info.h"
#include "mc_mmu.h"
XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_checkpoint, mc,
const size_t link_size = 200;
char link[200];
- size_t res = readlink(source, link, link_size);
+ int res = readlink(source, link, link_size);
if (res<0) {
xbt_die("Could not read link for %s", source);
}