est_freq           39 arch/mips/rb532/time.c 	unsigned int est_freq;
est_freq           48 arch/mips/rb532/time.c 	est_freq = 2 * r4k_offset * HZ;
est_freq           49 arch/mips/rb532/time.c 	est_freq += 5000;	/* round */
est_freq           50 arch/mips/rb532/time.c 	est_freq -= est_freq % 10000;
est_freq           51 arch/mips/rb532/time.c 	printk(KERN_INFO "CPU frequency %d.%02d MHz\n", est_freq / 1000000,
est_freq           52 arch/mips/rb532/time.c 	       (est_freq % 1000000) * 100 / 1000000);