1 #include <linux/init.h>
2 #include <linux/kernel.h>
7 void __init plat_time_init(void)
9 int adj = (ADM8668_CONFIG_REG(ADM8668_CR3) >> 11) & 0xf;
11 /* adjustable clock selection
12 CR3 bit 14~11, 0000 -> 175MHz, 0001 -> 180MHz, etc... */
14 mips_hpt_frequency = (SYS_CLOCK + adj * 5000000) / 2;
15 printk("ADM8668 CPU clock: %d MHz\n", 2*mips_hpt_frequency / 1000000);