avr32: Use generic show_interrupts()

[pandora-kernel.git] / arch / avr32 / Kconfig

diff --git a/arch/avr32/Kconfig b/arch/avr32/Kconfig
index c0ddc93..49642b5 100644 (file)
--- a/arch/avr32/Kconfig
+++ b/arch/avr32/Kconfig
@@ -9,6 +9,7 @@ config AVR32
        select HAVE_GENERIC_HARDIRQS
        select GENERIC_IRQ_PROBE
        select HARDIRQS_SW_RESEND
+       select GENERIC_IRQ_SHOW
        select GENERIC_HARDIRQS_NO_DEPRECATED
        help
          AVR32 is a high-performance 32-bit RISC microprocessor core,