Searched refs:vgic_v3_dispatch_sgi (Results 1 – 2 of 2) sorted by relevance
377 void vgic_v3_dispatch_sgi(struct kvm_vcpu *vcpu, u64 reg, bool allow_group1);
932 void vgic_v3_dispatch_sgi(struct kvm_vcpu *vcpu, u64 reg, bool allow_group1) in vgic_v3_dispatch_sgi() function