Searched refs:gicd_write_ctlr (Results 1 – 4 of 4) sorted by relevance
90 gicd_write_ctlr(driver_data->gicd_base, in gicv2_pcpu_distif_init()109 gicd_write_ctlr(driver_data->gicd_base, in gicv2_distif_init()121 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
288 gicd_write_ctlr(base, gicd_read_ctlr(base) & ~bitmap); in gicd_clr_ctlr()298 gicd_write_ctlr(base, gicd_read_ctlr(base) | bitmap); in gicd_set_ctlr()
947 gicd_write_ctlr(gicd_base, dist_ctx->gicd_ctlr); in gicv3_distif_init_restore()