vgic_v2_enable    248 virt/kvm/arm/vgic/vgic-init.c 		vgic_v2_enable(vcpu);
vgic_v2_enable    188 virt/kvm/arm/vgic/vgic.h void vgic_v2_enable(struct kvm_vcpu *vcpu);