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)
commit030aebd2e439a2ebcca2b0ce30a02ed84feb043e
tree2a6e0ce9fbd690dd8d8be1b615dcedeaefffcc23
parent2075eb8d95612cadde91ef5be82691d97a2ea6c5
rangetimer: fix BUG_ON reported by Ingo

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>
kernel/hrtimer.c