Xiaotian Feng d145f7ec23 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 <dannyfeng@tencent.com> Cc: Jon Maloy <jon.maloy@ericsson.com> Cc: Allan Stephens <allan.stephens@windriver.com> Cc: "David S. Miller" <davem@davemloft.net> Cc: netdev@vger.kernel.org Cc: tipc-discussion@lists.sourceforge.net Signed-off-by: David S. Miller <davem@davemloft.net>		2012-11-03 15:10:14 -04:00
..
Kconfig	…
Makefile	…
addr.c	…
addr.h	…
bcast.c	…
bcast.h	…
bearer.c	…
bearer.h	…
config.c	…
config.h	…
core.c	…
core.h	…
discover.c	…
discover.h	…
eth_media.c	…
handler.c	…
link.c	…
link.h	…
log.c	…
msg.c	…
msg.h	…
name_distr.c	…
name_distr.h	…
name_table.c	…
name_table.h	…
net.c	…
net.h	…
netlink.c	…
node.c	…
node.h	…
node_subscr.c	…
node_subscr.h	…
port.c	…
port.h	…
ref.c	…
ref.h	…
socket.c	…
subscr.c	…
subscr.h	…