+
+void MC_ignore_init(){
+ MC_SET_RAW_MEM;
+ mmalloc_ignore = xbt_dynar_new(sizeof(mc_ignore_region_t), NULL);
+ MC_UNSET_RAW_MEM;
+}
+
+void MC_ignore(void *address, size_t size){
+ MC_SET_RAW_MEM;
+ mc_ignore_region_t region = NULL;
+ region = xbt_new0(s_mc_ignore_region_t, 1);
+ region->address = address;
+ region->size = size;
+ xbt_dynar_push(mmalloc_ignore, ®ion);
+ MC_UNSET_RAW_MEM;
+}