vgic_kick_vcpus    63 virt/kvm/arm/vgic/vgic-mmio-v2.c 			vgic_kick_vcpus(vcpu->kvm);
vgic_kick_vcpus   107 virt/kvm/arm/vgic/vgic-mmio-v3.c 			vgic_kick_vcpus(vcpu->kvm);
vgic_kick_vcpus   171 virt/kvm/arm/vgic/vgic.h void vgic_kick_vcpus(struct kvm *kvm);