Searched refs:vgic_v2_put (Results 1 – 3 of 3) sorted by relevance
199 void vgic_v2_put(struct kvm_vcpu *vcpu, bool blocking);
473 void vgic_v2_put(struct kvm_vcpu *vcpu, bool blocking) in vgic_v2_put() function
940 vgic_v2_put(vcpu, blocking); in kvm_vgic_put()