kvm_vgic_flush_hwstate  365 include/kvm/arm_vgic.h void kvm_vgic_flush_hwstate(struct kvm_vcpu *vcpu);
kvm_vgic_flush_hwstate  729 virt/kvm/arm/arm.c 		kvm_vgic_flush_hwstate(vcpu);