Home
last modified time | relevance | path

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

/linux-6.1.9/include/kvm/
Darm_vgic.h432 int vgic_v4_put(struct kvm_vcpu *vcpu, bool need_db);
/linux-6.1.9/arch/arm64/kvm/vgic/
Dvgic-v4.c337 int vgic_v4_put(struct kvm_vcpu *vcpu, bool need_db) in vgic_v4_put() function
Dvgic-v3.c752 WARN_ON(vgic_v4_put(vcpu, false)); in vgic_v3_put()
/linux-6.1.9/arch/arm64/kvm/
Darm.c664 vgic_v4_put(vcpu, true); in kvm_vcpu_wfi()
738 vgic_v4_put(vcpu, false); in check_vcpu_requests()