Searched refs:vgic_v2_put (Results 1 – 2 of 2) sorted by relevance
617 void vgic_v2_put(struct kvm_vcpu *vcpu) in vgic_v2_put() function
1118 vgic_v2_put(vcpu); in kvm_vgic_put()