Searched refs:vgic_v3_queue_sgi (Results 1 – 1 of 1) sorted by relevance
1026 static void vgic_v3_queue_sgi(struct kvm_vcpu *vcpu, u32 sgi, bool allow_group1) in vgic_v3_queue_sgi() function1092 vgic_v3_queue_sgi(c_vcpu, sgi, allow_group1); in vgic_v3_dispatch_sgi()1107 vgic_v3_queue_sgi(c_vcpu, sgi, allow_group1); in vgic_v3_dispatch_sgi()