}
smpi_privatisation_regions = (smpi_privatisation_region_t) malloc(
- sizeof(struct s_smpi_privatisation_region) * sizeof(int));
+ xbt_malloc((smpi_process_count()) * sizeof(struct s_smpi_privatisation_region));
for (i=0; i< SIMIX_process_count(); i++){
//create SIMIX_process_count() mappings of this size with the same data inside