void mips41xx_set_clock_freqs(unsigned sysclk);
On a MIPS R41xx series chip, set the cpu_freq, timer_freq, and cycles_freq variables appropriately, given a system clock input frequency of sysclk.