On Tue, Mar 27, 2018 at 12:05:23PM -0400, Mathieu Desnoyers wrote: > diff --git a/kernel/sched/sched.h b/kernel/sched/sched.h > index fb5fc458547f..66b070444a7e 100644 > --- a/kernel/sched/sched.h > +++ b/kernel/sched/sched.h > @@ -1249,6 +1249,7 @@ static inline void __set_task_cpu(struct task_struct > *p, unsigned int cpu) > #endif > p->wake_cpu = cpu; > #endif > + rseq_migrate(p); > }
I think you want that in set_task_cpu(), right next to nr_migrations++.
