+ 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