sync_global_from_guest
sync_global_from_guest(vm, *shared_data);
sync_global_from_guest(vm, nr_writes);
sync_global_from_guest(vm, nr_writes);
sync_global_from_guest(vm, guest_stolen_time[i]);
sync_global_from_guest(vm, guest_stolen_time[i]);
sync_global_from_guest(vm, *val);
sync_global_from_guest(vcpu->vm, pmc_results);