Home
last modified time | relevance | path

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

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