Searched refs:kvm_vgic_put (Results 1 – 3 of 3) sorted by relevance
390 void kvm_vgic_put(struct kvm_vcpu *vcpu);
948 void kvm_vgic_put(struct kvm_vcpu *vcpu) in kvm_vgic_put() function
636 kvm_vgic_put(vcpu); in kvm_arch_vcpu_put()924 kvm_vgic_put(vcpu); in kvm_vcpu_wfi()