[PATCH] x86, timers: check for pending timers after (device)interrupts

From: Arjan van de Ven
Date: Thu Sep 24 2009 - 07:34:21 EST