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

/linux-4.4.14/include/kvm/
H A Darm_vgic.h343 void vgic_v3_dispatch_sgi(struct kvm_vcpu *vcpu, u64 reg);
/linux-4.4.14/virt/kvm/arm/
H A Dvgic-v3-emul.c917 * vgic_v3_dispatch_sgi - handle SGI requests from VCPUs
929 void vgic_v3_dispatch_sgi(struct kvm_vcpu *vcpu, u64 reg) vgic_v3_dispatch_sgi() function
/linux-4.4.14/arch/arm64/kvm/
H A Dsys_regs.c129 vgic_v3_dispatch_sgi(vcpu, p->regval); access_gic_sgi()

Completed in 71 milliseconds