Searched refs:gicd_write_ctlr (Results 1 – 2 of 2) sorted by relevance
273 gicd_write_ctlr(g_gicd_base, ctlr); in arm_gic_distif_setup()314 gicd_write_ctlr(g_gicd_base, ctlr | ENABLE_GRP0); in arm_gic_distif_setup()
212 static inline void gicd_write_ctlr(unsigned int base, unsigned int val) in gicd_write_ctlr() function