Re: Question about IRQ_PENDING/IRQ_REPLAY

[Cort Dougan]

} > I don't have a simple way on PPC to cause the interrupt to happen again,
} > as you can imagine this is rather controller-specific. However, looking
} > at the code closely, I couldn't figure out a case where having
} > IRQ_PENDING in enable_irq() makes sense.
} 
} It only makes sense for broken irq controllers. And most aren't. You can
} likely ignore it - and note how even on an x86, most of the irq controller
} code _does_ ignore it. 

We do have broken interrupt controllers in this respect.  We already have a
way of handling it.  Ben, take a look at set_lost().