Searched refs:gicd_read_ctlr (Results 1 – 5 of 5) sorted by relevance
46 if ((gicd_read_ctlr(base) & in set_gicd_dchipr_rt_owner()82 if ((gicd_read_ctlr(base) & in set_gicd_chipr_n()217 if ((gicd_read_ctlr(multichip_data->rt_owner_base) & in gic600_multichip_init()
264 while ((gicd_read_ctlr(gicd_base) & GICD_CTLR_RWP_BIT) != 0U) { in gicd_wait_for_pending_write()291 gicd_write_ctlr(base, gicd_read_ctlr(base) & ~bitmap); in gicd_clr_ctlr()301 gicd_write_ctlr(base, gicd_read_ctlr(base) | bitmap); in gicd_set_ctlr()
133 gicv2_compat = gicd_read_ctlr(plat_driver_data->gicd_base); in gicv3_driver_init()233 ctlr = gicd_read_ctlr(gicv3_driver_data->gicd_base); in gicv3_rdistif_init()744 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
88 ctlr = gicd_read_ctlr(driver_data->gicd_base); in gicv2_pcpu_distif_init()108 ctlr = gicd_read_ctlr(driver_data->gicd_base); in gicv2_distif_init()
Completed in 11 milliseconds