Lines Matching defs:rbase
250 void __iomem *rbase;
257 rbase = gic_data_rdist_rd_base();
259 val = readl_relaxed(rbase + GICR_WAKER);
265 writel_relaxed(val, rbase + GICR_WAKER);
268 val = readl_relaxed(rbase + GICR_WAKER);
274 val = readl_relaxed(rbase + GICR_WAKER);
1112 void __iomem *rbase;
1126 rbase = gic_data_rdist_sgi_base();
1130 writel_relaxed(~0, rbase + GICR_IGROUPR0 + i / 8);
1132 gic_cpu_config(rbase, gic_data.ppi_nr + 16, gic_redist_wait_for_rwp);