new_freq = sparc64_get_clock_tick(cpu); 
new_freq = sparc64_get_clock_tick(cpu) / 1000; 
static void us3_set_cpu_divider_index(unsigned int cpu, unsigned int index){	unsigned long new_bits, new_freq, reg;	cpumask_t cpus_allowed;	struct cpufreq_freqs freqs;	if (!cpu_online(cpu))		return;	cpus_allowed = current->cpus_allowed;	set_cpus_allowed(current, cpumask_of_cpu(cpu));	new_freq = sparc64_get_clock_tick(cpu);	switch (index) {	case 0:		new_bits = SAFARI_CFG_DIV_1;		new_freq /= 1;		break;	case 1:		new_bits = SAFARI_CFG_DIV_2;		new_freq /= 2;		break;	case 2:		new_bits = SAFARI_CFG_DIV_32;		new_freq /= 32;		break;	default:		BUG();	};	reg = read_safari_cfg();	freqs.old = get_current_freq(cpu, reg);	freqs.new = new_freq;	freqs.cpu = cpu;	cpufreq_notify_transition(&freqs, CPUFREQ_PRECHANGE);	reg &= ~SAFARI_CFG_DIV_MASK;	reg |= new_bits;	write_safari_cfg(reg);	cpufreq_notify_transition(&freqs, CPUFREQ_POSTCHANGE);	set_cpus_allowed(current, cpus_allowed);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/2cab224d1f6557e7014601f251d6a41982963e6b/us3_cpufreq.c/buggy/arch/sparc64/kernel/us3_cpufreq.c