Searched refs:sgi_base (Results 1 – 2 of 2) sorted by relevance
312 volatile void *sgi_base; in gicv3_cpu_init() local320 sgi_base = sgi_base_from_redist(redist_base_cpu); in gicv3_cpu_init()332 writel(~0, sgi_base + GICR_IGROUPR0); in gicv3_cpu_init()333 writel(~0, sgi_base + GICR_ICACTIVER0); in gicv3_cpu_init()334 writel(~0, sgi_base + GICR_ICENABLER0); in gicv3_cpu_init()339 sgi_base + GICR_IPRIORITYR0 + i); in gicv3_cpu_init()
122 int sgi_base; in its_alloc_vcpu_sgis() local143 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()