vgic_v4_sync_hwstate  860 virt/kvm/arm/vgic/vgic.c 	WARN_ON(vgic_v4_sync_hwstate(vcpu));
vgic_v4_sync_hwstate  319 virt/kvm/arm/vgic/vgic.h int vgic_v4_sync_hwstate(struct kvm_vcpu *vcpu);