kvm_vgic_map_is_active  349 include/kvm/arm_vgic.h bool kvm_vgic_map_is_active(struct kvm_vcpu *vcpu, unsigned int vintid);
kvm_vgic_map_is_active  488 virt/kvm/arm/arch_timer.c 		phys_active = kvm_vgic_map_is_active(vcpu, ctx->irq.irq);