/* Change Logs: Date Author Notes  Bernard the first version  */
void show_freq(void)
/* Change Logs: Date Author Notes  Bernard the first version  */
void show_freq(void)
{
    rt_kprintf("CPU: %d MHz\n", get_main_clock(CPU_CLK)/1000000);
    rt_kprintf("DDR: %d MHz\n", get_main_clock(MMDC_CH0_AXI_CLK)/1000000);
    rt_kprintf("IPG: %d MHz\n", get_main_clock(IPG_CLK)/1000000);
}