int __init elanfreq_setup (char * str);
elanfreq command line parameter. Use: elanfreq=66000 to set the maximum CPU frequency to 66 MHz. Note that in case you do not give this boot parameter, the maximum frequency will fall back to _current_ CPU frequency which might be lower. If you build this as a module, use the max_freq module parameter instead.