400 	unsigned int maxfreq;  in cpufreq_gx_cpu_init()  local
407 		maxfreq = pci_busclk * gx_freq_mult[getCx86(CX86_DIR1) & 0x0f];  in cpufreq_gx_cpu_init()
409 		maxfreq = cpu_khz;  in cpufreq_gx_cpu_init()
411 		maxfreq = 30000 * gx_freq_mult[getCx86(CX86_DIR1) & 0x0f];  in cpufreq_gx_cpu_init()
413 	stock_freq = maxfreq;  in cpufreq_gx_cpu_init()
415 	pr_debug("cpu max frequency is %d.\n", maxfreq);  in cpufreq_gx_cpu_init()
421 		policy->min = maxfreq / max_duration;  in cpufreq_gx_cpu_init()
423 		policy->min = maxfreq / POLICY_MIN_DIV;  in cpufreq_gx_cpu_init()
424 	policy->max = maxfreq;  in cpufreq_gx_cpu_init()
425 	policy->cpuinfo.min_freq = maxfreq / max_duration;  in cpufreq_gx_cpu_init()
426 	policy->cpuinfo.max_freq = maxfreq;  in cpufreq_gx_cpu_init()