-XBT_INTERNAL void MC_process_refresh_heap(mc_process_t process);
-
-/** Refresh the information about the process
- *
- * Do not use direclty, this is used by the getters when appropriate
- * in order to have fresh data.
- * */
-XBT_INTERNAL void MC_process_refresh_malloc_info(mc_process_t process);
-
-static inline
-bool MC_process_is_self(mc_process_t process)
-{
- return process->process_flags & MC_PROCESS_SELF_FLAG;
-}
-
-/* Process memory access: */
-
-static inline
-const void* MC_process_read(mc_process_t process,
- simgrid::mc::AddressSpace::ReadMode mode,
- void* local, const void* remote, size_t len,
- int process_index)
-{
- return process->read_bytes(local, len, (std::uint64_t)remote, process_index, mode);
-}
-
-// Simplified versions/wrappers (whould be moved in mc_address_space):
-static inline const void* MC_process_read_simple(mc_process_t process,
- void* local, const void* remote, size_t len)
-{
- return process->read_bytes(local, len, (std::uint64_t)remote);
-}
-
-XBT_INTERNAL const void* MC_process_read_dynar_element(mc_process_t process,
- void* local, const void* remote_dynar, size_t i, size_t len);
-XBT_INTERNAL unsigned long MC_process_read_dynar_length(mc_process_t process,
- const void* remote_dynar);
-
-/** Write data to a process memory
- *
- * @param process the process
- * @param local local memory address (source)
- * @param remote target process memory address (target)
- * @param len data size
- */
-XBT_INTERNAL void MC_process_write(mc_process_t process,
- const void* local, void* remote, size_t len);