CPU_FREQUENCY     116 kern/arch/sys161/dev/lamebus_machdep.c 	mips_timer_set(CPU_FREQUENCY / HZ);
CPU_FREQUENCY     272 kern/arch/sys161/dev/lamebus_machdep.c 		mips_timer_set(CPU_FREQUENCY / HZ);