Re: [PATCH 1/7] isdn: replace del_timer by del_timer_sync

From: David Miller
Date: Thu Mar 27 2014 - 15:28:49 EST


From: Julia Lawall <Julia.Lawall@xxxxxxx>
Date: Wed, 26 Mar 2014 22:33:39 +0100

> From: Julia Lawall <Julia.Lawall@xxxxxxx>
>
> Use del_timer_sync to ensure that the timer is stopped on all CPUs before
> the driver exists.
>
> This change was suggested by Thomas Gleixner.
>
> The semantic patch that makes this change is as follows:
> (http://coccinelle.lip6.fr/)
...
> Signed-off-by: Julia Lawall <Julia.Lawall@xxxxxxx>

Applied.
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/