#include "mc_object_info.h"
#include "mc_private.h"
+using simgrid::mc::remote;
+
extern "C" {
static int mc_dwarf_push_value(mc_expression_state_t state, Dwarf_Off value)
uintptr_t address = (uintptr_t) state->stack[state->stack_size - 1];
if (!state->address_space)
xbt_die("Missing address space");
- MC_address_space_read(
- state->address_space, MC_ADDRESS_SPACE_READ_FLAGS_NONE,
- &state->stack[state->stack_size - 1], (const void*) address,
- sizeof(uintptr_t), state->process_index);
+ state->address_space->read_bytes(
+ &state->stack[state->stack_size - 1], sizeof(uintptr_t),
+ remote(address), state->process_index);
}
break;