vgic_v3_vmcr_sync  679 virt/kvm/arm/vgic/vgic-v3.c 	vgic_v3_vmcr_sync(vcpu);
vgic_v3_vmcr_sync  945 virt/kvm/arm/vgic/vgic.c 		vgic_v3_vmcr_sync(vcpu);
vgic_v3_vmcr_sync  228 virt/kvm/arm/vgic/vgic.h void vgic_v3_vmcr_sync(struct kvm_vcpu *vcpu);