rangetimer: fix BUG_ON reported by Ingo
authorArjan van de Ven <arjan@linux.intel.com>
Sat, 11 Oct 2008 19:25:45 +0000 (12:25 -0700)
committerArjan van de Ven <arjan@linux.intel.com>
Sat, 11 Oct 2008 19:25:45 +0000 (12:25 -0700)
There's a small race/chance that, while hrtimers are enabled globally,
they're later not enabled when we're calling the hrtimer_interrupt() function,
which then BUG_ON()'s for that. This patch closes that race/gap.

Signed-off-by: Arjan van de Ven <arjan@linux.intel.com>

No differences found