Searched refs:is_vgic_v2_sgi (Results 1 – 1 of 1) sorted by relevance
298 static bool is_vgic_v2_sgi(struct kvm_vcpu *vcpu, struct vgic_irq *irq) in is_vgic_v2_sgi() function315 if (is_vgic_v2_sgi(vcpu, irq) && !is_user) { in __set_pending()327 if (is_vgic_v2_sgi(vcpu, irq)) in __set_pending()401 if (is_vgic_v2_sgi(vcpu, irq) && !is_user) { in __clear_pending()413 if (is_vgic_v2_sgi(vcpu, irq)) in __clear_pending()