unsigned long clock_tick = sparc64_get_clock_tick(cpu); 
unsigned long clock_tick = sparc64_get_clock_tick(cpu) / 1000; 
static unsigned long get_current_freq(unsigned int cpu, unsigned long safari_cfg){	unsigned long clock_tick = sparc64_get_clock_tick(cpu);	unsigned long ret;	switch (safari_cfg & SAFARI_CFG_DIV_MASK) {	case SAFARI_CFG_DIV_1:		ret = clock_tick / 1;		break;	case SAFARI_CFG_DIV_2:		ret = clock_tick / 2;		break;	case SAFARI_CFG_DIV_32:		ret = clock_tick / 32;		break;	default:		BUG();	};	return ret;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/2cab224d1f6557e7014601f251d6a41982963e6b/us3_cpufreq.c/buggy/arch/sparc64/kernel/us3_cpufreq.c