vgic_supports_direct_irqs
if (vgic_supports_direct_irqs(kvm)) {
if (vgic_supports_direct_irqs(kvm))
if (!vgic_supports_direct_irqs(vcpu->kvm) || !vpe->resident)
if (!vgic_supports_direct_irqs(vcpu->kvm) || vpe->resident)
if (vgic_supports_direct_irqs(vcpu->kvm))