next_buddy_marked 6698 kernel/sched/fair.c 	int next_buddy_marked = 0;
next_buddy_marked 6714 kernel/sched/fair.c 		next_buddy_marked = 1;
next_buddy_marked 6750 kernel/sched/fair.c 		if (!next_buddy_marked)