On Friday 20 June 2008 17:55:41 Ingo Molnar wrote:
A quick workaround always is to convert the lock into an _irqsafe lock.
Although it introduces higher overhead (interrupt-wise), it prevents the bug.
A real fix would require to understand the locking in the driver, which I
don't, as I never looked at the driver. :)
--
Greetings Michael.
--