Searched refs:timer_set_offset (Results 1 – 2 of 2) sorted by relevance
179 static inline void timer_set_offset(struct arch_timer_context *ctxt, u64 offset) in timer_set_offset() function
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()