Searched refs:gicr_base (Results 1 – 1 of 1) sorted by relevance
140 vaddr_t gicr_base[CFG_TEE_CORE_NB_CORE]; member178 return gd->gicr_base[get_core_pos()]; in get_gicr_base()233 static void gicr_wait_for_pending_write(vaddr_t gicr_base) in gicr_wait_for_pending_write() argument243 while (io_read32(gicr_base + GICR_CTLR) & GICR_CTLR_RWP) in gicr_wait_for_pending_write()249 vaddr_t gicr_base = get_gicr_base(gd); in gicv3_sync_redist_config() local259 if (!gicr_base) in gicv3_sync_redist_config()262 grp0 = io_read32(gicr_base + GICR_IGROUPR0); in gicv3_sync_redist_config()263 gmod0 = io_read32(gicr_base + GICR_IGRPMODR0); in gicv3_sync_redist_config()276 io_write32(gicr_base + GICR_ICENABLER0, BIT32(n)); in gicv3_sync_redist_config()279 gicr_wait_for_pending_write(gicr_base); in gicv3_sync_redist_config()[all …]