Searched refs:write_cpu_ctrl_armv7 (Results 1 – 1 of 1) sorted by relevance
88 void write_cpu_ctrl_armv7(uint32_t reg, uint32_t val);270 &write_cpu_ctrl_armv7,291 &write_cpu_ctrl_armv7,570 write_cpu_ctrl_armv7(uint32_t reg, uint32_t val) in write_cpu_ctrl_armv7() function