kvm_vgic_vmcr_sync  355 include/kvm/arm_vgic.h void kvm_vgic_vmcr_sync(struct kvm_vcpu *vcpu);
kvm_vgic_vmcr_sync  330 virt/kvm/arm/arm.c 	kvm_vgic_vmcr_sync(vcpu);