On Thu, Dec 06, 2007 at 02:24:53PM +0000, Andrew Doran wrote:
> It would break again the next time it is enabled. It also goes a bit beyond
> the number of ports, because some ports have multiple flavours of interrupt
> dispatch code.

What exactly does the predicate say? "This cpu is running on it's local 
interrupt stack"? "We are in the bottom half of the kernel"? "We took
some device interrupt and have not yet returned"?

Martin