gic_data_rdist_rd_base
#define gic_data_rdist_vlpi_base() (gic_data_rdist_rd_base() + SZ_128K)
val = gicr_read_propbaser(gic_data_rdist_rd_base() + GICR_PROPBASER);
val = gic_read_typer(gic_data_rdist_rd_base() + GICR_TYPER);
val = gic_read_typer(gic_data_rdist_rd_base() + GICR_TYPER);
val = gicr_read_propbaser(gic_data_rdist_rd_base() + GICR_PROPBASER);
val = readl_relaxed(gic_data_rdist_rd_base() + GICR_CTLR);
void __iomem *rbase = gic_data_rdist_rd_base();
target = gic_read_typer(gic_data_rdist_rd_base() + GICR_TYPER);
return !!(gic_read_typer(gic_data_rdist_rd_base() + GICR_TYPER) & GICR_TYPER_PLPIS);
void __iomem *rbase = gic_data_rdist_rd_base();
gic_data_rdist_rd_base() = ptr;
#define gic_data_rdist_sgi_base() (gic_data_rdist_rd_base() + SZ_64K)
gic_do_wait_for_rwp(gic_data_rdist_rd_base(), GICR_CTLR_RWP);
rbase = gic_data_rdist_rd_base();