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