----- On Nov 14, 2017, at 3:03 PM, Mathieu Desnoyers mathieu.desnoy...@efficios.com wrote: [...] > diff --git a/kernel/sched/sched.h b/kernel/sched/sched.h > index 3b448ba82225..cab256c1720a 100644 > --- a/kernel/sched/sched.h > +++ b/kernel/sched/sched.h > @@ -1209,6 +1209,8 @@ static inline void __set_task_cpu(struct task_struct *p, > unsigned int cpu) > #endif > } > > +int push_task_to_cpu(struct task_struct *p, unsigned int dest_cpu);
Testing on CONFIG_SMP=n showed that I needed to add empty static inline (returning 0) for !SMP case. Mathieu > + > /* > * Tunables that become constants when CONFIG_SCHED_DEBUG is off: > */ -- Mathieu Desnoyers EfficiOS Inc. http://www.efficios.com
