input < MIN_FREQUENCY_UP_THRESHOLD || input <= dbs_tuners_ins.down_threshold) { 
input < MIN_FREQUENCY_UP_THRESHOLD) { 
static ssize_t store_up_threshold(struct cpufreq_policy *unused, 		const char *buf, size_t count){	unsigned int input;	int ret;	ret = sscanf (buf, "%u", &input);	down(&dbs_sem);	if (ret != 1 || input > MAX_FREQUENCY_UP_THRESHOLD || 			input < MIN_FREQUENCY_UP_THRESHOLD ||			input <= dbs_tuners_ins.down_threshold) {		up(&dbs_sem);		return -EINVAL;	}	dbs_tuners_ins.up_threshold = input;	up(&dbs_sem);	return count;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/c29f1403098135bdef75b190a5037db514701031/cpufreq_ondemand.c/buggy/drivers/cpufreq/cpufreq_ondemand.c