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++. -- To unsubscribe from this list: send the line "unsubscribe linux-api" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html