-/* Copyright (c) 2014-2015. The SimGrid Team.
- * All rights reserved. */
+/* Copyright (c) 2014-2017. The SimGrid Team. All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
+#define _FILE_OFFSET_BITS 64 /* needed for pread_whole to work as expected on 32bits */
+
#include <assert.h>
#include <stddef.h>
#include <stdint.h>
if (process_index >= (int) MC_smpi_process_count())
xbt_die("Invalid process index");
- // Read smpi_privatisation_regions from MCed:
- smpi_privatisation_region_t remote_smpi_privatisation_regions =
- mc_model_checker->process().read_variable<smpi_privatisation_region_t>(
- "smpi_privatisation_regions");
+ // Read smpi_privatization_regions from MCed:
+ smpi_privatization_region_t remote_smpi_privatization_regions =
+ mc_model_checker->process().read_variable<smpi_privatization_region_t>(
+ "smpi_privatization_regions");
- s_smpi_privatisation_region_t privatisation_region =
- mc_model_checker->process().read<s_smpi_privatisation_region_t>(
- remote(remote_smpi_privatisation_regions + process_index));
+ s_smpi_privatization_region_t privatization_region =
+ mc_model_checker->process().read<s_smpi_privatization_region_t>(
+ remote(remote_smpi_privatization_regions + process_index));
// Address translation in the privatization segment:
size_t offset = address.address() - (std::uint64_t)info->start_rw;
- address = remote((char*)privatisation_region.address + offset);
+ address = remote((char*)privatization_region.address + offset);
}
#endif
}