Searched refs:gicd_read_ctlr (Results 1 – 5 of 5) sorted by relevance
70 if ((gicd_read_ctlr(base) & in set_gicd_dchipr_rt_owner()106 if ((gicd_read_ctlr(base) & in set_gicd_chipr_n()376 if ((gicd_read_ctlr(multichip_data->base_addrs[rt_owner]) & in gic600_multichip_init()
266 while ((gicd_read_ctlr(gicd_base) & GICD_CTLR_RWP_BIT) != 0U) { in gicd_wait_for_pending_write()293 gicd_write_ctlr(base, gicd_read_ctlr(base) & ~bitmap); in gicd_clr_ctlr()303 gicd_write_ctlr(base, gicd_read_ctlr(base) | bitmap); in gicd_set_ctlr()
136 gicv2_compat = gicd_read_ctlr(plat_driver_data->gicd_base); in gicv3_driver_init()238 ctlr = gicd_read_ctlr(gicv3_driver_data->gicd_base); in gicv3_rdistif_init()767 dist_ctx->gicd_ctlr = gicd_read_ctlr(gicd_base); in gicv3_distif_save()
18 static inline unsigned int gicd_read_ctlr(uintptr_t base) in gicd_read_ctlr() function
89 ctlr = gicd_read_ctlr(driver_data->gicd_base); in gicv2_pcpu_distif_init()109 ctlr = gicd_read_ctlr(driver_data->gicd_base); in gicv2_distif_init()