Searched refs:timer_get_offset (Results 1 – 4 of 4) sorted by relevance
152 now -= timer_get_offset(vcpu_hvtimer(vcpu)); in kvm_handle_wfx()154 now -= timer_get_offset(vcpu_vtimer(vcpu)); in kvm_handle_wfx()
1643 *val = kvm_phys_timer_read() - timer_get_offset(vcpu_vtimer(vcpu)); in arch_timer_get_user()1646 *val = kvm_phys_timer_read() - timer_get_offset(vcpu_ptimer(vcpu)); in arch_timer_get_user()
164 static inline u64 timer_get_offset(struct arch_timer_context *ctxt) in timer_get_offset() function
296 val -= timer_get_offset(vcpu_hptimer(vcpu)); in kvm_hyp_handle_timer()