Searched defs:ptimer (Results 1 – 2 of 2) sorted by relevance
58 static inline void _set_timer(struct timer_list *ptimer, u32 delay_time) in _set_timer()
434 struct arch_timer_context *ptimer = vcpu_ptimer(vcpu); in kvm_timer_update_run() local864 struct arch_timer_context *ptimer = vcpu_ptimer(vcpu); in kvm_timer_should_notify_user() local