flag (and order it on SMP), so that del_timer_sync() always sees the
timer either pending or running if it is active.