Searched refs:sgi_domain (Results 1 – 3 of 3) sorted by relevance
114 vpe->sgi_domain = irq_domain_create_linear(vpe->fwnode, 16, in its_alloc_vcpu_sgis()116 if (!vpe->sgi_domain) in its_alloc_vcpu_sgis()119 sgi_base = __irq_domain_alloc_irqs(vpe->sgi_domain, -1, 16, in its_alloc_vcpu_sgis()128 if (vpe->sgi_domain) in its_alloc_vcpu_sgis()129 irq_domain_remove(vpe->sgi_domain); in its_alloc_vcpu_sgis()189 unsigned int irq = irq_find_mapping(vm->vpes[i]->sgi_domain, 0); in its_free_sgi_irqs()195 irq_domain_remove(vm->vpes[i]->sgi_domain); in its_free_sgi_irqs()
53 struct irq_domain *sgi_domain; member
137 irq->host_irq = irq_find_mapping(vpe->sgi_domain, i); in vgic_v4_enable_vsgis()