Lines Matching defs:domain
71 * contain an irq domain where each interrupt maps to a VPE. In
72 * turn, this domain sits on top of the normal LPI allocator, and a
145 vm->domain = irq_domain_create_hierarchy(gic_domain, 0, vm->nr_vpes,
148 if (!vm->domain)
156 vpe_base_irq = __irq_domain_alloc_irqs(vm->domain, -1, vm->nr_vpes,
173 if (vm->domain)
174 irq_domain_remove(vm->domain);
204 irq_domain_remove(vm->domain);
336 int its_init_v4(struct irq_domain *domain,
340 if (domain) {
342 gic_domain = domain;
348 pr_err("ITS: No GICv4 VPE domain allocated\n");