404 	unsigned int maxfreq;  in cpufreq_gx_cpu_init()  local
411 		maxfreq = pci_busclk * gx_freq_mult[getCx86(CX86_DIR1) & 0x0f];  in cpufreq_gx_cpu_init()
413 		maxfreq = cpu_khz;  in cpufreq_gx_cpu_init()
415 		maxfreq = 30000 * gx_freq_mult[getCx86(CX86_DIR1) & 0x0f];  in cpufreq_gx_cpu_init()
417 	stock_freq = maxfreq;  in cpufreq_gx_cpu_init()
419 	pr_debug("cpu max frequency is %d.\n", maxfreq);  in cpufreq_gx_cpu_init()
425 		policy->min = maxfreq / max_duration;  in cpufreq_gx_cpu_init()
427 		policy->min = maxfreq / POLICY_MIN_DIV;  in cpufreq_gx_cpu_init()
428 	policy->max = maxfreq;  in cpufreq_gx_cpu_init()
429 	policy->cpuinfo.min_freq = maxfreq / max_duration;  in cpufreq_gx_cpu_init()
430 	policy->cpuinfo.max_freq = maxfreq;  in cpufreq_gx_cpu_init()