Searched refs:redist_base_cpu (Results 1 – 1 of 1) sorted by relevance
300 volatile void *redist_base_cpu; in gicv3_cpu_init() local304 redist_base_cpu = gicr_base_cpu(cpu); in gicv3_cpu_init()305 sgi_base = sgi_base_from_redist(redist_base_cpu); in gicv3_cpu_init()307 gicv3_enable_redist(redist_base_cpu); in gicv3_cpu_init()