Searched refs:kvm_vgic_vcpu_pending_irq (Results 1 – 3 of 3) sorted by relevance
932 if (kvm_vgic_vcpu_pending_irq(vcpu)) in kvm_vgic_flush_hwstate()1000 int kvm_vgic_vcpu_pending_irq(struct kvm_vcpu *vcpu) in kvm_vgic_vcpu_pending_irq() function1044 if (kvm_vgic_vcpu_pending_irq(vcpu)) { in vgic_kick_vcpus()
398 int kvm_vgic_vcpu_pending_irq(struct kvm_vcpu *vcpu);
752 return ((irq_lines || kvm_vgic_vcpu_pending_irq(v)) in kvm_arch_vcpu_runnable()