Searched refs:vgic_v4_put (Results 1 – 4 of 4) sorted by relevance
434 int vgic_v4_put(struct kvm_vcpu *vcpu);
339 int vgic_v4_put(struct kvm_vcpu *vcpu) in vgic_v4_put() function
752 WARN_ON(vgic_v4_put(vcpu)); in vgic_v3_put()
723 vgic_v4_put(vcpu); in kvm_vcpu_wfi()801 vgic_v4_put(vcpu); in check_vcpu_requests()