watchdog: via_wdt: replace del_timer by del_timer_sync
authorJulia Lawall <Julia.Lawall@lip6.fr>
Tue, 1 Apr 2014 13:49:19 +0000 (15:49 +0200)
committerWim Van Sebroeck <wim@iguana.be>
Tue, 10 Jun 2014 19:38:25 +0000 (21:38 +0200)
commit3813ff8b38b265b6c25f3946d5850273deba03a3
tree7e99cdbacd3f3db9aad0f0f1b97eedd40e210df0
parent1e8c8a5b484f99d82bd961d10705896385cafc06
watchdog: via_wdt: replace del_timer by del_timer_sync

Use del_timer_sync to ensure that the timer is stopped on all CPUs before
the driver exits.

This change was suggested by Thomas Gleixner.

The semantic patch that makes this change is as follows:
(http://coccinelle.lip6.fr/)

// <smpl>
@r@
identifier i,t,ex;
@@
struct t i = { .remove = ex, };

@@
identifier r.ex;
@@
ex(...) {
  <...
- del_timer
+ del_timer_sync
    (...)
  ...>
}
// </smpl>

Signed-off-by: Julia Lawall <Julia.Lawall@lip6.fr>
Signed-off-by: Wim Van Sebroeck <wim@iguana.be>
drivers/watchdog/via_wdt.c