Searched refs:redist_base_cpu (Results 1 – 1 of 1) sorted by relevance
314 volatile void *redist_base_cpu; in gicv3_cpu_init() local319 redist_base_cpu = gicr_base_cpu(cpu); in gicv3_cpu_init()320 sgi_base = sgi_base_from_redist(redist_base_cpu); in gicv3_cpu_init()323 typer = readq_relaxed(redist_base_cpu + GICR_TYPER); in gicv3_cpu_init()326 gicv3_enable_redist(redist_base_cpu); in gicv3_cpu_init()