carta

del_timer_sync(9) on Linux

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