unsigned long clock_tick = sparc64_get_clock_tick(cpu); 
unsigned long clock_tick = sparc64_get_clock_tick(cpu) / 1000; 
static int __init us3_freq_cpu_init(struct cpufreq_policy *policy){	unsigned int cpu = policy->cpu;	unsigned long clock_tick = sparc64_get_clock_tick(cpu);	struct cpufreq_frequency_table *table =		&us3_freq_table[cpu].table[0];	table[0].index = 0;	table[0].frequency = clock_tick / 1;	table[1].index = 1;	table[1].frequency = clock_tick / 2;	table[2].index = 2;	table[2].frequency = clock_tick / 32;	table[3].index = 0;	table[3].frequency = CPUFREQ_TABLE_END;	policy->governor = CPUFREQ_DEFAULT_GOVERNOR;	policy->cpuinfo.transition_latency = 0;	policy->cur = clock_tick;	return cpufreq_frequency_table_cpuinfo(policy, table);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/2cab224d1f6557e7014601f251d6a41982963e6b/us3_cpufreq.c/buggy/arch/sparc64/kernel/us3_cpufreq.c