Re: [PATCH 3/3] tipc: do not use tasklet_disable before tasklet_kill

From: Xiaotian Feng Date: Wed, 31 Oct 2012 16:06:01 +0800 > If tasklet_disable() is called before related tasklet handled, > tasklet_kill will never be finished. tasklet_kill is enough. > > Signed-off-by: Xiaotian Feng Applied. -- To unsubscribe from this list: send the line "unsubscribe linux

[PATCH 3/3] tipc: do not use tasklet_disable before tasklet_kill

If tasklet_disable() is called before related tasklet handled, tasklet_kill will never be finished. tasklet_kill is enough. Signed-off-by: Xiaotian Feng Cc: Jon Maloy Cc: Allan Stephens Cc: "David S. Miller" Cc: net...@vger.kernel.org Cc: tipc-discuss...@lists.sourceforge.net --- net/tipc/han