71 	pr_debug("trying to obtain ownership with command %x at port %x\n",  in speedstep_smi_ownership()
86 	pr_debug("result is %x\n", result);  in speedstep_smi_ownership()
107 		pr_debug("bug #1422 -- can't read freqs from BIOS\n");  in speedstep_smi_get_freqs()
113 	pr_debug("trying to determine frequencies with command %x at port %x\n",  in speedstep_smi_get_freqs()
130 	pr_debug("result %x, low_freq %u, high_freq %u\n",  in speedstep_smi_get_freqs()
164 	pr_debug("trying to set frequency to state %u "  in speedstep_set_state()
178 			pr_debug("retry %u, previous result %u, waiting...\n",  in speedstep_set_state()
202 		pr_debug("change to %u MHz succeeded after %u tries "  in speedstep_set_state()
240 		pr_debug("fails in acquiring ownership of a SMI interface.\n");  in speedstep_cpu_init()
252 		pr_debug("could not detect low and high frequencies "  in speedstep_cpu_init()
260 			pr_debug("could not detect two different speeds"  in speedstep_cpu_init()
264 			pr_debug("workaround worked.\n");  in speedstep_cpu_init()
285 		pr_debug("fails in re-acquiring ownership of a SMI interface.\n");  in speedstep_resume()
332 		pr_debug("No supported Intel CPU detected.\n");  in speedstep_init()
336 	pr_debug("signature:0x%.8x, command:0x%.8x, "  in speedstep_init()