kvm_vgic_sync_hwstate  364 include/kvm/arm_vgic.h void kvm_vgic_sync_hwstate(struct kvm_vcpu *vcpu);
kvm_vgic_sync_hwstate  770 virt/kvm/arm/arm.c 			kvm_vgic_sync_hwstate(vcpu);
kvm_vgic_sync_hwstate  812 virt/kvm/arm/arm.c 		kvm_vgic_sync_hwstate(vcpu);