- // Last byte of the region:
- void* end = (char*)addr + size - 1;
- if (simgrid::mc::mmu::same_chunk((std::uintptr_t)addr, (std::uintptr_t)end)) {
- // The memory is contained in a single page:
- return mc_translate_address_region((uintptr_t)addr, region);
- }
- // Otherwise, the memory spans several pages:
- return MC_region_read_fragmented(region, target, addr, size);
+ // Last byte of the region:
+ void* end = (char*)addr + size - 1;
+ if (simgrid::mc::mmu::same_chunk((std::uintptr_t)addr, (std::uintptr_t)end)) {
+ // The memory is contained in a single page:
+ return mc_translate_address_region((uintptr_t)addr, region);
+ }
+ // Otherwise, the memory spans several pages:
+ return MC_region_read_fragmented(region, target, addr, size);