Searched refs:kvm_phys_timer_read (Results 1 – 2 of 2) sorted by relevance
142 u64 kvm_phys_timer_read(void) in kvm_phys_timer_read() function214 u64 now = kvm_phys_timer_read() - timer_get_offset(timer_ctx); in kvm_counter_compute_delta()368 now = kvm_phys_timer_read() - timer_get_offset(timer_ctx); in kvm_timer_should_fire()793 update_vtimer_cntvoff(vcpu, kvm_phys_timer_read()); in kvm_timer_vcpu_init()831 update_vtimer_cntvoff(vcpu, kvm_phys_timer_read() - value); in kvm_arm_timer_set_reg()902 val = timer_get_cval(timer) - kvm_phys_timer_read() + timer_get_offset(timer); in kvm_arm_timer_read()915 val = kvm_phys_timer_read() - timer_get_offset(timer); in kvm_arm_timer_read()949 timer_set_cval(timer, kvm_phys_timer_read() - timer_get_offset(timer) + (s32)val); in kvm_arm_timer_write()
79 u64 kvm_phys_timer_read(void);