On Thu, Dec 17, 2015 at 04:05:32PM -0500, David Miller wrote:> This should fix it, the only thing I'm unsure of is if we should perhaps> also use del_timer_sync() here. Anyone?I think so. Ralf