left_fan, right_fan, left_speed, right_speed, ac_power, fn_key); 
left_fan, right_fan, left_speed, right_speed, ac_power, fn_key); 
static int i8k_get_info(char *buffer, char **start, off_t fpos, int length){	int n, fn_key, cpu_temp, ac_power;	int left_fan, right_fan, left_speed, right_speed;	cpu_temp	= i8k_get_cpu_temp();			/* 11100 s */	left_fan	= i8k_get_fan_status(I8K_FAN_LEFT);	/*   580 s */	right_fan	= i8k_get_fan_status(I8K_FAN_RIGHT);	/*   580 s */	left_speed	= i8k_get_fan_speed(I8K_FAN_LEFT);	/*   580 s */	right_speed	= i8k_get_fan_speed(I8K_FAN_RIGHT);	/*   580 s */	fn_key		= i8k_get_fn_status();			/*   750 s */	if (power_status) {		ac_power = i8k_get_power_status();		/* 14700 s */	} else {		ac_power = -1;	}	/*	 * Info:	 *	 * 1)  Format version (this will change if format changes)	 * 2)  BIOS version	 * 3)  BIOS machine ID	 * 4)  Cpu temperature	 * 5)  Left fan status	 * 6)  Right fan status	 * 7)  Left fan speed	 * 8)  Right fan speed	 * 9)  AC power	 * 10) Fn Key status	 */	n = sprintf(buffer, "%s %s %s %d %d %d %d %d %d %d\n",		    I8K_PROC_FMT,		    bios_version,		    serial_number,		    cpu_temp,		    left_fan,		    right_fan, left_speed, right_speed, ac_power, fn_key);	return n;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/e70c9d5e61c6cb2272c866fc1303e62975006752/i8k.c/clean/drivers/char/i8k.c