Searched refs:vgic_v3_put (Results 1 – 2 of 2) sorted by relevance
255 void vgic_v3_put(struct kvm_vcpu *vcpu);
959 vgic_v3_put(vcpu); in kvm_vgic_put()