Searched refs:kvm_vgic_flush_hwstate (Results 1 – 3 of 3) sorted by relevance
400 void kvm_vgic_flush_hwstate(struct kvm_vcpu *vcpu);
907 void kvm_vgic_flush_hwstate(struct kvm_vcpu *vcpu) in kvm_vgic_flush_hwstate() function
950 kvm_vgic_flush_hwstate(vcpu); in kvm_arch_vcpu_ioctl_run()