Searched refs:kvm_vgic_vcpu_active_irq (Results 1 – 2 of 2) sorted by relevance
329 int kvm_vgic_vcpu_active_irq(struct kvm_vcpu *vcpu);
1220 if (!kvm_vgic_vcpu_pending_irq(vcpu) && !kvm_vgic_vcpu_active_irq(vcpu)) in __kvm_vgic_flush_hwstate()1407 int kvm_vgic_vcpu_active_irq(struct kvm_vcpu *vcpu) in kvm_vgic_vcpu_active_irq() function