/* sys_ccu_axi - Set the freq of axi @freq: freq want to set  */
void __startup sys_ccu_axi(uint32_t cpu, uint32_t freq)
/* sys_ccu_axi - Set the freq of axi @freq: freq want to set  */
void __startup sys_ccu_axi(uint32_t cpu, uint32_t freq)
{
    uint32_t val, div = cpu / freq;
    val = read32(GCTL_BASE + GX6605S_CLOCK_DIV_CONFIG1);
    val &= ~(0x0f << 0);
    val |= (div & 0x0f) << 0;
    write32(GCTL_BASE + GX6605S_CLOCK_DIV_CONFIG1, val);
}