WARN_DOUBLE_CLOCK  209 kernel/sched/core.c 	if (sched_feat(WARN_DOUBLE_CLOCK))
WARN_DOUBLE_CLOCK   65 kernel/sched/features.h SCHED_FEAT(WARN_DOUBLE_CLOCK, false)