dprintk("bug #1422 -- can't read freqs from BIOS\n", result); 
dprintk("bug #1422 -- can't read freqs from BIOS\n"); 
static int speedstep_smi_get_freqs (unsigned int *low, unsigned int *high){	u32 command, result = 0, edi, high_mhz, low_mhz;	u32 state=0;	u32 function = GET_SPEEDSTEP_FREQS;	if (!(ist_info.event & 0xFFFF)) {		dprintk("bug #1422 -- can't read freqs from BIOS\n", result);		return -ENODEV;	}	command = (smi_sig & 0xffffff00) | (smi_cmd & 0xff);	dprintk("trying to determine frequencies with command %x at port %x\n", command, smi_port);	__asm__ __volatile__("movl $0, %%edi\n"		"out %%al, (%%dx)\n"		: "=a" (result), "=b" (high_mhz), "=c" (low_mhz), "=d" (state), "=D" (edi)		: "a" (command), "b" (function), "c" (state), "d" (smi_port), "S" (0)	);	dprintk("result %x, low_freq %u, high_freq %u\n", result, low_mhz, high_mhz);	/* abort if results are obviously incorrect... */	if ((high_mhz + low_mhz) < 600)		return -EINVAL;	*high = high_mhz * 1000;	*low  = low_mhz  * 1000;	return result;} 
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/ce38b51edfe51abacb053e88d62cf96a0c003a04/speedstep-smi.c/clean/arch/i386/kernel/cpu/cpufreq/speedstep-smi.c