ndow between the deactivate call and the pick_next_task() call. ) Signed-off-by: Ingo Molnar