Searched refs:gicr_write_icfgr0 (Results 1 – 3 of 3) sorted by relevance
306 static inline void gicr_write_icfgr0(uintptr_t base, unsigned int val) in gicr_write_icfgr0() function
253 gicr_write_icfgr0(base, reg_val); in gicr_set_icfgr0()
598 gicr_write_icfgr0(gicr_base, rdist_ctx->gicr_icfgr0); in gicv3_rdistif_init_restore()