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
50 gicc_write_ctlr(driver_data->gicc_base, val); in gicv2_cpuif_enable()69 gicc_write_ctlr(driver_data->gicc_base, val); in gicv2_cpuif_disable()
Completed in 4 milliseconds