vgic_is_v5
if (vgic_is_v5(vcpu->kvm) && irq != get_vgic_ppi(vcpu->kvm, default_ppi[i]))
ops = vgic_is_v5(vcpu->kvm) ? &arch_timer_irq_ops_vgic_v5 :
if (vgic_is_v5(vcpu->kvm)) {
phys_active |= vgic_is_v5(vcpu->kvm);
if (vcpu_has_nv(vcpu) && !vgic_is_v5(vcpu->kvm))
if (vgic_is_v5(vcpu->kvm)) {
if (vgic_is_v5(kvm)) {
if (vgic_is_v5(kvm)) {
if (vgic_is_v5(vcpu->kvm))
if (vgic_is_v5(kern_hyp_va(vcpu->kvm))) {
if (vgic_is_v5(kern_hyp_va(vcpu->kvm))) {
if (!vgic_is_v5(vcpu->kvm))
if (vgic_is_v5(kvm) && irq != KVM_ARMV8_PMU_GICV5_IRQ)
if (vgic_is_v5(vcpu->kvm))
if (vgic_is_v5(vcpu->kvm))
if (!vgic_is_v5(kvm)) {
if (!vgic_is_v5(kvm))
if (vgic_is_v5(vcpu->kvm))
if (!vgic_is_v5(vcpu->kvm))
if (vgic_is_v5(vcpu->kvm))
if (vgic_is_v5(vcpu->kvm)) {
if (vgic_is_v5(vcpu->kvm))
if (vgic_is_v5(vcpu->kvm)) {
if (vgic_is_v5(kvm))
if (vgic_is_v5(kvm))