Searched refs:gicc_write_ctlr (Results 1 – 2 of 2) sorted by relevance
114 static inline void gicc_write_ctlr(uintptr_t base, unsigned int val) in gicc_write_ctlr() function
51 gicc_write_ctlr(driver_data->gicc_base, val); in gicv2_cpuif_enable()70 gicc_write_ctlr(driver_data->gicc_base, val); in gicv2_cpuif_disable()