Searched refs:write_cpu_ctrl_armv7 (Results 1 – 1 of 1) sorted by relevance
84 void write_cpu_ctrl_armv7(uint32_t reg, uint32_t val);233 &write_cpu_ctrl_armv7,254 &write_cpu_ctrl_armv7,451 write_cpu_ctrl_armv7(uint32_t reg, uint32_t val) in write_cpu_ctrl_armv7() function