Searched refs:kvm_phys_timer_read (Results 1 – 2 of 2) sorted by relevance
56 u64 kvm_phys_timer_read(void) in kvm_phys_timer_read() function127 now = kvm_phys_timer_read() - timer_ctx->cntvoff; in kvm_timer_compute_delta()239 now = kvm_phys_timer_read() - timer_ctx->cntvoff; in kvm_timer_should_fire()637 update_vtimer_cntvoff(vcpu, kvm_phys_timer_read()); in kvm_timer_vcpu_init()666 update_vtimer_cntvoff(vcpu, kvm_phys_timer_read() - value); in kvm_arm_timer_set_reg()709 return kvm_phys_timer_read() - vtimer->cntvoff; in kvm_arm_timer_get_reg()717 return kvm_phys_timer_read(); in kvm_arm_timer_get_reg()
86 u64 kvm_phys_timer_read(void);