Searched refs:kvm_phys_timer_read (Results 1 – 2 of 2) sorted by relevance
141 u64 kvm_phys_timer_read(void) in kvm_phys_timer_read() function215 now = kvm_phys_timer_read() - timer_get_offset(timer_ctx); in kvm_timer_compute_delta()347 now = kvm_phys_timer_read() - timer_get_offset(timer_ctx); in kvm_timer_should_fire()778 update_vtimer_cntvoff(vcpu, kvm_phys_timer_read()); in kvm_timer_vcpu_init()816 update_vtimer_cntvoff(vcpu, kvm_phys_timer_read() - value); in kvm_arm_timer_set_reg()887 val = timer_get_cval(timer) - kvm_phys_timer_read() + timer_get_offset(timer); in kvm_arm_timer_read()900 val = kvm_phys_timer_read() - timer_get_offset(timer); in kvm_arm_timer_read()934 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);
