The text 6f37f37cbfcd, as Debian 7 (Wheezy) shipped it.
deactivate a timer and wait for the handler to finish.
del_timer_sync(9) on Linux now