Searched refs:vgic_v3_dispatch_sgi (Results 1 – 4 of 4) sorted by relevance
376 void vgic_v3_dispatch_sgi(struct kvm_vcpu *vcpu, u64 reg, bool allow_group1);
914 void vgic_v3_dispatch_sgi(struct kvm_vcpu *vcpu, u64 reg, bool allow_group1) in vgic_v3_dispatch_sgi() function
275 vgic_v3_dispatch_sgi(vcpu, reg, g1); in access_gic_sgi()
291 vgic_v3_dispatch_sgi(vcpu, p->regval, g1); in access_gic_sgi()