kvm_arm_pmu_irq_initialized
if (kvm_arm_pmu_irq_initialized(vcpu))
if (!kvm_arm_pmu_irq_initialized(vcpu))
} else if (kvm_arm_pmu_irq_initialized(vcpu)) {
if (!kvm_arm_pmu_irq_initialized(vcpu))
if (!kvm_arm_pmu_irq_initialized(vcpu))