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, 16, NUMA_NO_NODE, vpe); in its_alloc_vcpu_sgis()149 if (vpe->sgi_domain) in its_alloc_vcpu_sgis()150 irq_domain_remove(vpe->sgi_domain); in its_alloc_vcpu_sgis()209 unsigned int irq = irq_find_mapping(vm->vpes[i]->sgi_domain, 0); in its_free_sgi_irqs()215 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()
Completed in 9 milliseconds