Searched refs:gicd_write_ctlr (Results 1 – 4 of 4) sorted by relevance
91 gicd_write_ctlr(driver_data->gicd_base, in gicv2_pcpu_distif_init()110 gicd_write_ctlr(driver_data->gicd_base, in gicv2_distif_init()122 gicd_write_ctlr(driver_data->gicd_base, ctlr | CTLR_ENABLE_G0_BIT); in gicv2_distif_init()
33 static inline void gicd_write_ctlr(uintptr_t base, unsigned int val) in gicd_write_ctlr() function
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()
918 gicd_write_ctlr(gicd_base, dist_ctx->gicd_ctlr); in gicv3_distif_init_restore()
