Home
last modified time | relevance | path

Searched refs:vgic_v3_dispatch_sgi (Results 1 – 3 of 3) sorted by relevance

/linux-4.1.27/include/kvm/
Darm_vgic.h327 void vgic_v3_dispatch_sgi(struct kvm_vcpu *vcpu, u64 reg);
/linux-4.1.27/virt/kvm/arm/
Dvgic-v3-emul.c885 void vgic_v3_dispatch_sgi(struct kvm_vcpu *vcpu, u64 reg) in vgic_v3_dispatch_sgi() function
/linux-4.1.27/arch/arm64/kvm/
Dsys_regs.c132 vgic_v3_dispatch_sgi(vcpu, val); in access_gic_sgi()