irq handling in DDE Linux26

olafBuddenhagen at olafBuddenhagen at
Fri May 7 01:51:14 CEST 2010


On Fri, May 07, 2010 at 12:53:20AM +0800, Da Zheng wrote:

> disable_irq_nosync_lockdep_irqsave is exactly the same as
> disable_irq_nosync when there isn't CONFIG_LOCKDEP. It seems to me
> that ne2k-pci shouldn't call it in the first place when transmitting
> packets, but Linux drivers should be correct. Then what goes wrong?
> Should the interrupt handler delays interrupts instead of ignoring
> them silently when the interrupt line is disabled?

Not really an answer to your question -- but maybe you could try running
a Linux image with this driver in the same VM, so you could compare how
the driver behaves in its "native" environment?...


More information about the l4-hackers mailing list