timer_get_offset
val = timer_get_cval(timer) - kvm_phys_timer_read() + timer_get_offset(timer);
val = kvm_phys_timer_read() - timer_get_offset(timer);
timer_set_cval(timer, kvm_phys_timer_read() - timer_get_offset(timer) + (s32)val);
u64 now = kvm_phys_timer_read() - timer_get_offset(timer_ctx);
now = kvm_phys_timer_read() - timer_get_offset(timer_ctx);
cval -= timer_get_offset(ctx);
cval -= timer_get_offset(ctx);
offset = timer_get_offset(ctx);
offset = timer_get_offset(ctx);
if (!has_cntpoff() && timer_get_offset(map->direct_ptimer))
if (has_broken_cntvoff() && timer_get_offset(map->direct_vtimer))
now -= timer_get_offset(vcpu_hvtimer(vcpu));
now -= timer_get_offset(vcpu_vtimer(vcpu));
val -= timer_get_offset(vcpu_hptimer(vcpu));
*val = kvm_phys_timer_read() - timer_get_offset(vcpu_vtimer(vcpu));
*val = kvm_phys_timer_read() - timer_get_offset(vcpu_ptimer(vcpu));