snapshot_data
struct snapshot_data *data;
struct snapshot_data *data;
struct snapshot_data *data;
static int snapshot_set_swap_area(struct snapshot_data *data,
struct snapshot_data *data;
struct snapshot_data *data;
struct riscv_pmu_snapshot_data *snapshot_data = snapshot_gva;
overflown_mask = READ_ONCE(snapshot_data->ctr_overflow_mask);
struct riscv_pmu_snapshot_data *snapshot_data = snapshot_gva;
counter_value_post = READ_ONCE(snapshot_data->ctr_values[0]);
WRITE_ONCE(snapshot_data->ctr_values[0], ULONG_MAX/2);
counter_value_pre = READ_ONCE(snapshot_data->ctr_values[0]);
WRITE_ONCE(snapshot_data->ctr_values[0], counter_init_value);
counter_value_post = READ_ONCE(snapshot_data->ctr_values[0]);
WRITE_ONCE(snapshot_data->ctr_values[0], counter_init_value);
counter_value_post = READ_ONCE(snapshot_data->ctr_values[0]);
struct riscv_pmu_snapshot_data *snapshot_data = snapshot_gva;
WRITE_ONCE(snapshot_data->ctr_values[0], counter_init_value);
counter_value_post = READ_ONCE(snapshot_data->ctr_values[0]);
struct riscv_pmu_snapshot_data *snapshot_data = snapshot_gva;
GUEST_ASSERT_EQ(READ_ONCE(snapshot_data->ctr_overflow_mask), 0);
GUEST_ASSERT_EQ(READ_ONCE(snapshot_data->ctr_values[i]), 0);