Searched refs:sgi_base (Results 1 – 1 of 1) sorted by relevance

/drivers/irqchip/
A D	irq-gic-v4.c	122 int sgi_base; in its_alloc_vcpu_sgis() local 143 sgi_base = irq_domain_alloc_irqs(vpe->sgi_domain, 16, NUMA_NO_NODE, vpe); in its_alloc_vcpu_sgis() 144 if (sgi_base <= 0) in its_alloc_vcpu_sgis()

Completed in 5 milliseconds

Last Index update Fri Aug 22 10:33:58 CST 2025