inc_nr_running   1734 kernel/sched.c 	inc_nr_running(rq);
inc_nr_running   2433 kernel/sched.c 		inc_nr_running(rq);