acrn-kernel/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 [AVR32] Wire up AT73C213 sound driver on ATSTK1000 board 2007-10-23 11:19:14 +02:00
boot
configs
kernel pid namespaces: define is_global_init() and is_container_init() 2007-10-19 11:53:37 -07:00
lib
mach-at32ap [AVR32] Export intc_get_pending symbol 2007-11-15 13:47:20 +01:00
mm pid namespaces: define is_global_init() and is_container_init() 2007-10-19 11:53:37 -07:00
Kconfig [AVR32] remove UID16 option 2007-11-15 13:47:20 +01:00
Kconfig.debug
Makefile