- MC_process_read(callback->process, MC_ADDRESS_SPACE_READ_FLAGS_NONE,
- &value, callback->value, sizeof(value), MC_PROCESS_INDEX_ANY);
+ MC_process_read(callback->process, simgrid::mc::AddressSpace::Normal,
+ &value, callback->value, sizeof(value), simgrid::mc::ProcessIndexAny);