I found that clk_get_rate () returns the current frequency, but is there any function or way to determine the maximum frequency supported in the Linux kernel space?
Out of my box:
$ cat /sys/devices/system/cpu/cpu0/cpufreq/scaling_available_frequencies 1666000 1333000 1000000
After completing this entry, it /sys can give the desired answer.
/sys