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() function216 now = kvm_phys_timer_read() - timer_get_offset(timer_ctx); in kvm_timer_compute_delta()348 now = kvm_phys_timer_read() - timer_get_offset(timer_ctx); in kvm_timer_should_fire()779 update_vtimer_cntvoff(vcpu, kvm_phys_timer_read()); in kvm_timer_vcpu_init()817 update_vtimer_cntvoff(vcpu, kvm_phys_timer_read() - value); in kvm_arm_timer_set_reg()888 val = timer_get_cval(timer) - kvm_phys_timer_read() + timer_get_offset(timer); in kvm_arm_timer_read()901 val = kvm_phys_timer_read() - timer_get_offset(timer); in kvm_arm_timer_read()935 timer_set_cval(timer, kvm_phys_timer_read() - timer_get_offset(timer) + (s32)val); in kvm_arm_timer_write()
81 u64 kvm_phys_timer_read(void);
