vgic_v2_vmcr_sync  502 virt/kvm/arm/vgic/vgic-v2.c 	vgic_v2_vmcr_sync(vcpu);
vgic_v2_vmcr_sync  943 virt/kvm/arm/vgic/vgic.c 		vgic_v2_vmcr_sync(vcpu);
vgic_v2_vmcr_sync  197 virt/kvm/arm/vgic/vgic.h void vgic_v2_vmcr_sync(struct kvm_vcpu *vcpu);