XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_checkpoint, mc,
"Logging specific to mc_checkpoint");
-void *start_text_libsimgrid;
-void *start_plt_libsimgrid, *end_plt_libsimgrid;
-void *start_got_plt_libsimgrid, *end_got_plt_libsimgrid;
-void *start_plt_binary, *end_plt_binary;
-void *start_got_plt_binary, *end_got_plt_binary;
char *libsimgrid_path;
static void MC_get_plt_section(mc_object_info_t info);
MC_free_memory_map(maps);
- /* Get .plt section (start and end addresses) for data libsimgrid and data program comparison */
- start_plt_libsimgrid = mc_libsimgrid_info->start_plt;
- end_plt_libsimgrid = mc_libsimgrid_info->end_plt;
- start_plt_binary = mc_binary_info->start_plt;
- end_plt_binary = mc_binary_info->end_plt;
- start_got_plt_libsimgrid = mc_libsimgrid_info->start_got_plt;
- end_got_plt_libsimgrid = mc_libsimgrid_info->end_got_plt;
- start_got_plt_binary = mc_binary_info->start_got_plt;
- end_got_plt_binary = mc_binary_info->end_got_plt;
-
-
XBT_INFO("Get debug information done !");
}
void MC_free_memory_map(memory_map_t map);
extern char *libsimgrid_path;
-extern void *start_plt_libsimgrid;
-extern void *end_plt_libsimgrid;
-extern void *start_plt_binary;
-extern void *end_plt_binary;
-extern void *start_got_plt_libsimgrid;
-extern void *end_got_plt_libsimgrid;
-extern void *start_got_plt_binary;
-extern void *end_got_plt_binary;
/********************************** Snapshot comparison **********************************/