/* * The BKS might be reacquired before we have dropped * PREEMPT_ACTIVE, which could trigger a second * cond_resched() call. */ if (unlikely(preempt_count())) return; 
static inline void __cond_resched(void){	do {		add_preempt_count(PREEMPT_ACTIVE);		schedule();		sub_preempt_count(PREEMPT_ACTIVE);	} while (need_resched());}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/5bbcfd9000887c0da7d57cc7b3ac869fc0dd5aa9/sched.c/clean/kernel/sched.c