Searched refs:gicr_base (Results 1 – 1 of 1) sorted by relevance
148 vaddr_t gicr_base[CFG_TEE_CORE_NB_CORE]; member186 return gd->gicr_base[get_core_pos()]; in get_gicr_base()241 static void gicr_wait_for_pending_write(vaddr_t gicr_base) in gicr_wait_for_pending_write() argument251 while (io_read32(gicr_base + GICR_CTLR) & GICR_CTLR_RWP) in gicr_wait_for_pending_write()257 vaddr_t gicr_base = get_gicr_base(gd); in gicv3_sync_redist_config() local267 if (!gicr_base) in gicv3_sync_redist_config()270 grp0 = io_read32(gicr_base + GICR_IGROUPR0); in gicv3_sync_redist_config()271 gmod0 = io_read32(gicr_base + GICR_IGRPMODR0); in gicv3_sync_redist_config()284 io_write32(gicr_base + GICR_ICENABLER0, BIT32(n)); in gicv3_sync_redist_config()287 gicr_wait_for_pending_write(gicr_base); in gicv3_sync_redist_config()[all …]