Searched refs:kvm_phys_timer_read (Results 1 – 4 of 4) sorted by relevance
149 u64 kvm_phys_timer_read(void) in kvm_phys_timer_read() function234 u64 now = kvm_phys_timer_read() - timer_get_offset(timer_ctx); in kvm_counter_compute_delta()392 now = kvm_phys_timer_read() - timer_get_offset(timer_ctx); in kvm_timer_should_fire()1087 timer_set_offset(vcpu_vtimer(vcpu), kvm_phys_timer_read()); in kvm_timer_vcpu_init()1139 val = timer_get_cval(timer) - kvm_phys_timer_read() + timer_get_offset(timer); in kvm_arm_timer_read()1152 val = kvm_phys_timer_read() - timer_get_offset(timer); in kvm_arm_timer_read()1198 timer_set_cval(timer, kvm_phys_timer_read() - timer_get_offset(timer) + (s32)val); in kvm_arm_timer_write()
150 now = kvm_phys_timer_read(); in kvm_handle_wfx()
1610 timer_set_offset(vcpu_vtimer(vcpu), kvm_phys_timer_read() - val); in arch_timer_set_user()1614 timer_set_offset(vcpu_ptimer(vcpu), kvm_phys_timer_read() - val); in arch_timer_set_user()1628 *val = kvm_phys_timer_read() - timer_get_offset(vcpu_vtimer(vcpu)); in arch_timer_get_user()1631 *val = kvm_phys_timer_read() - timer_get_offset(vcpu_ptimer(vcpu)); in arch_timer_get_user()
114 u64 kvm_phys_timer_read(void);