DOUBLE_TICK      4306 kernel/sched/fair.c 	if (!sched_feat(DOUBLE_TICK) &&
DOUBLE_TICK        41 kernel/sched/features.h SCHED_FEAT(DOUBLE_TICK, false)