Searched defs:ptimer (Results 1 – 2 of 2) sorted by relevance
369 struct arch_timer_context *ptimer = vcpu_ptimer(vcpu); in kvm_timer_update_run() local633 struct arch_timer_context *ptimer = vcpu_ptimer(vcpu); in kvm_timer_should_notify_user() local772 struct arch_timer_context *ptimer = vcpu_ptimer(vcpu); in kvm_timer_vcpu_init() local1201 struct arch_timer_context *ptimer = vcpu_ptimer(vcpu); in kvm_arm_timer_set_attr() local
81 static inline void _set_timer(_timer *ptimer, u32 delay_time) in _set_timer()