Searched refs:sgi_domain (Results 1 – 3 of 3) sorted by relevance
137 vpe->sgi_domain = irq_domain_create_linear(vpe->fwnode, 16, in its_alloc_vcpu_sgis()139 if (!vpe->sgi_domain) in its_alloc_vcpu_sgis()142 sgi_base = __irq_domain_alloc_irqs(vpe->sgi_domain, -1, 16, in its_alloc_vcpu_sgis()151 if (vpe->sgi_domain) in its_alloc_vcpu_sgis()152 irq_domain_remove(vpe->sgi_domain); in its_alloc_vcpu_sgis()212 unsigned int irq = irq_find_mapping(vm->vpes[i]->sgi_domain, 0); in its_free_sgi_irqs()218 irq_domain_remove(vm->vpes[i]->sgi_domain); in its_free_sgi_irqs()
55 struct irq_domain *sgi_domain; member
137 irq->host_irq = irq_find_mapping(vpe->sgi_domain, i); in vgic_v4_enable_vsgis()
