- clk = get_sysboot_freq();
- printf("OSC clk: %4lu.%03lu MHz\n",
- clk / 1000000, clk / 1000 % 1000);
- clk = clk_get_rate(cmwkup, mpu);
- printf("MPU clk: %4lu.%03lu MHz\n",
- clk / 1000000, clk / 1000 % 1000);
- clk = clk_get_rate(cmwkup, ddr);
- printf("DDR clk: %4lu.%03lu MHz\n",
- clk / 1000000, clk / 1000 % 1000);
- clk = clk_get_rate(cmwkup, per);
- printf("PER clk: %4lu.%03lu MHz\n",
- clk / 1000000, clk / 1000 % 1000);
-#ifdef CONFIG_LCD
- clk = clk_get_rate(cmwkup, disp);
- printf("LCD clk: %4lu.%03lu MHz\n",
- clk / 1000000, clk / 1000 % 1000);
-#endif
-