On Tue, 20 Jun 2017, Andy Lutomirski wrote:> The only call site also calls idle_task_exit(), and idle_task_exit()> puts us into a clean state by explicitly switching to init_mm.> > Reviewed-by: Rik van Riel <riel@redhat.com>> Signed-off-by: Andy Lutomirski <luto@kernel.org>Reviewed-by: Thomas Gleixner <tglx@linutronix.de>