A follow up on this issue and on my CONFIG_HARDIRQS_SW_RESEND tests:
I've basically done this:
Index: linux-2.6.22.18/arch/powerpc/Kconfig
===================================================================
--- linux-2.6.22.18.orig/arch/powerpc/Kconfig 2010-04-18 15:22:24.000000000 +0200
+++ linux-2.6.22.18/arch/powerpc/Kconfig 2010-04-18 15:23:21.000000000 +0200
@@ -35,6 +35,10 @@
bool
default y
+config HARDIRQS_SW_RESEND
+ bool
+ default y
+
config IRQ_PER_CPU
bool
default y
(yeah, I know, old kernel, but the code involved hasn't change much
since)
and of course +CONFIG_HARDIRQS_SW_RESEND=y in my .config
Now everything seems to work fine: my device was not previously not
interrupting anymore after typically 1 or 2 minutes (because the
interrupt signal stays at level low until the device is served, so
if one falling edge is missed no more interruption will ever be seen),
and right now it has been running for 1 hour without any observable
problem.
Cheers!
--
Guillaume Knispel
--