vgic_v4_flush_hwstate  885 virt/kvm/arm/vgic/vgic.c 	WARN_ON(vgic_v4_flush_hwstate(vcpu));
vgic_v4_flush_hwstate  320 virt/kvm/arm/vgic/vgic.h int vgic_v4_flush_hwstate(struct kvm_vcpu *vcpu);