Searched refs:sgi_domain (Results 1 – 3 of 3) sorted by relevance
138 vpe->sgi_domain = irq_domain_create_linear(vpe->fwnode, 16, in its_alloc_vcpu_sgis()140 if (!vpe->sgi_domain) in its_alloc_vcpu_sgis()143 sgi_base = irq_domain_alloc_irqs(vpe->sgi_domain, 16, NUMA_NO_NODE, vpe); in its_alloc_vcpu_sgis()150 if (vpe->sgi_domain) in its_alloc_vcpu_sgis()151 irq_domain_remove(vpe->sgi_domain); in its_alloc_vcpu_sgis()210 unsigned int irq = irq_find_mapping(vm->vpes[i]->sgi_domain, 0); in its_free_sgi_irqs()216 irq_domain_remove(vm->vpes[i]->sgi_domain); in its_free_sgi_irqs()
63 struct irq_domain *sgi_domain; member
137 irq->host_irq = irq_find_mapping(vpe->sgi_domain, i); in vgic_v4_enable_vsgis()