Searched refs:gicr_read_icfgr1 (Results 1 – 3 of 3) sorted by relevance
301 static inline unsigned int gicr_read_icfgr1(uintptr_t base) in gicr_read_icfgr1() function
266 uint32_t reg_val = gicr_read_icfgr1(base); in gicr_set_icfgr1()
520 rdist_ctx->gicr_icfgr1 = gicr_read_icfgr1(gicr_base); in gicv3_rdistif_save()