irq handling in DDE Linux26

Samuel Thibault samuel.thibault at
Wed May 12 00:03:49 CEST 2010

Da Zheng, le Sat 08 May 2010 23:19:08 +0800, a écrit :
> A stupid question: when disable_irq_nosync is called, IRQ_DISABLED is set in the
> irq descriptor in the Linux kernel and the corresponding hardirq line should be
> masked as well (at least, it seems the kernel for x86 does so).

AIUI, on unmask the hardware will trigger the interrupt that was raised
by the hardware in the meanwhile. Which precise x86 file are you looking
at? What do you exactly mean by "hardirq": the actual hardware chip or
the software hardIRQ handler?

> How can handle_edge_irq be called?

AIUI, on hardware irq unmasking.


More information about the l4-hackers mailing list