597702aeb4
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> |
||
---|---|---|
.. | ||
boards | ||
boot | ||
configs | ||
kernel | ||
lib | ||
mach-at32ap | ||
mm | ||
Kconfig | ||
Kconfig.debug | ||
Makefile |