Searched refs:set_vtimer_irq_phys_active (Results 1 – 1 of 1) sorted by relevance
447 static inline void set_vtimer_irq_phys_active(struct kvm_vcpu *vcpu, bool active) in set_vtimer_irq_phys_active() function463 set_vtimer_irq_phys_active(vcpu, phys_active); in kvm_timer_vcpu_load_gic()572 set_vtimer_irq_phys_active(vcpu, false); in unmask_vtimer_irq_user()