Searched refs:vgic_v3_put (Results 1 – 3 of 3) sorted by relevance
229 void vgic_v3_put(struct kvm_vcpu *vcpu);
717 void vgic_v3_put(struct kvm_vcpu *vcpu) in vgic_v3_put() function
942 vgic_v3_put(vcpu); in kvm_vgic_put()
