Searched refs:ptimer (Results 1 – 8 of 8) sorted by relevance
56 static inline void _set_timer(struct timer_list *ptimer, u32 delay_time) in _set_timer() argument58 mod_timer(ptimer, (jiffies + (delay_time * HZ / 1000))); in _set_timer()
23 ptimer-handle = <&ptp_timer0>;
433 struct arch_timer_context *ptimer = vcpu_ptimer(vcpu); in kvm_timer_update_run() local441 if (kvm_timer_should_fire(ptimer)) in kvm_timer_update_run()863 struct arch_timer_context *ptimer = vcpu_ptimer(vcpu); in kvm_timer_should_notify_user() local874 kvm_timer_should_fire(ptimer) != plevel; in kvm_timer_should_notify_user()
46 ptimer-handle = <&ptp_timer0>;
46 ptimer-handle = <&ptp_timer1>;