kernel-ark/arch/avr32
Haavard Skinnemoen 597702aeb4 [AVR32] Export intc_get_pending symbol
Oprofile needs to call intc_get_pending() in order to determine
whether a performance counter interrupt is pending.

Also, include the header which declares intc_get_pending() and fix the
definition to match the prototype.

Signed-off-by: Haavard Skinnemoen <hskinnemoen@atmel.com>
2007-11-15 13:47:20 +01:00
..
boards
boot
configs
kernel
lib
mach-at32ap [AVR32] Export intc_get_pending symbol 2007-11-15 13:47:20 +01:00
mm
Kconfig [AVR32] remove UID16 option 2007-11-15 13:47:20 +01:00
Kconfig.debug
Makefile