#include <sys/mman.h>
-#include <xbt.h>
+#include <xbt/base.h>
+#include <xbt/log.h>
+#include <xbt/sysdep.h>
#include "src/mc/PageStore.hpp"
#include "src/mc/mc_mmu.h"
-extern "C" {
-
XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_page_snapshot, mc,
"Logging specific to mc_page_snapshot");
}
#endif /* SIMGRID_TEST */
-
-}