Home
last modified time | relevance | path

Searched refs:vgic_v4_put (Results 1 – 4 of 4) sorted by relevance

/Linux-v5.15/include/kvm/
Darm_vgic.h426 int vgic_v4_put(struct kvm_vcpu *vcpu, bool need_db);
/Linux-v5.15/arch/arm64/kvm/vgic/
Dvgic-v4.c332 int vgic_v4_put(struct kvm_vcpu *vcpu, bool need_db) in vgic_v4_put() function
Dvgic-v3.c721 WARN_ON(vgic_v4_put(vcpu, false)); in vgic_v3_put()
/Linux-v5.15/arch/arm64/kvm/
Darm.c382 vgic_v4_put(vcpu, true); in kvm_arch_vcpu_blocking()
699 vgic_v4_put(vcpu, false); in check_vcpu_requests()