Searched refs:vgic_dispatch_sgi (Results 1 – 1 of 1) sorted by relevance
37 static void vgic_dispatch_sgi(struct kvm_vcpu *vcpu, u32 reg);235 vgic_dispatch_sgi(vcpu, reg); in handle_mmio_sgi_reg()407 static void vgic_dispatch_sgi(struct kvm_vcpu *vcpu, u32 reg) in vgic_dispatch_sgi() function