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

/linux-4.4.14/virt/kvm/arm/
H A Dvgic-v2-emul.c37 static void vgic_dispatch_sgi(struct kvm_vcpu *vcpu, u32 reg); vgic_get_sgi_sources()
235 vgic_dispatch_sgi(vcpu, reg); handle_mmio_sgi_reg()
407 static void vgic_dispatch_sgi(struct kvm_vcpu *vcpu, u32 reg) vgic_dispatch_sgi() function

Completed in 35 milliseconds