return 0; 
return ret; 
int cond_resched_lock(spinlock_t * lock){	if (need_lockbreak(lock)) {		spin_unlock(lock);		cpu_relax();		spin_lock(lock);	}	if (need_resched()) {		_raw_spin_unlock(lock);		preempt_enable_no_resched();		__cond_resched();		spin_lock(lock);		return 1;	}	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/6df3cecbb95345981718b38d357c50bc3425420a/sched.c/buggy/kernel/sched.c