Searched refs:gicr_base_cpu (Results 1 – 1 of 1) sorted by relevance
53 static inline volatile void *gicr_base_cpu(uint32_t cpu) in gicr_base_cpu() function63 while (readl(gicr_base_cpu(cpu) + GICR_CTLR) & GICR_CTLR_RWP) { in gicv3_gicr_wait_for_rwp()135 : sgi_base_from_redist(gicr_base_cpu(cpu_or_dist)); in gicv3_reg_readl()142 : sgi_base_from_redist(gicr_base_cpu(cpu_or_dist)); in gicv3_reg_writel()304 redist_base_cpu = gicr_base_cpu(cpu); in gicv3_cpu_init()408 volatile void *rdist_base = gicr_base_cpu(guest_get_vcpuid()); in gic_rdist_enable_lpis()