Searched refs:timer_set_offset (Results 1 – 3 of 3) sorted by relevance
179 static inline void timer_set_offset(struct arch_timer_context *ctxt, u64 offset) in timer_set_offset() function
1092 timer_set_offset(vcpu_vtimer(vcpu), kvm_phys_timer_read()); in kvm_timer_vcpu_init()1093 timer_set_offset(vcpu_ptimer(vcpu), 0); in kvm_timer_vcpu_init()
1625 timer_set_offset(vcpu_vtimer(vcpu), kvm_phys_timer_read() - val); in arch_timer_set_user()1629 timer_set_offset(vcpu_ptimer(vcpu), kvm_phys_timer_read() - val); in arch_timer_set_user()