From: Ingo Molnar <redacted>
Date: Wed, 18 Feb 2009 10:20:41 +0100

Why dont you use something like this instead:

	if (del_timer(timer))
		add_timer(timer);

?

Why don't you read his commit message?

At least show him that much respect if you're going to
be against his patch.