> It turned out that there is a race condition in
> get_8254_timer_count(), which accesses 8254's ports directly, using no
> mutex means even though interrupts are enabled on all CPUS at this
> stage, and regardless of timer_interrupt() accessing the very same
> port. Looks like a simple overlook, though, as timer_interrupt() has
> all necessary bits already in place.
ugh, nicely spotted, thanks.
-- mingo
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.rutgers.edu
Please read the FAQ at http://www.tux.org/lkml/