Combine instrumentation menus in kernel/Kconfig.instrumentation

[~andy/linux] / arch / blackfin / oprofile / timer_int.c

diff --git a/arch/blackfin/oprofile/timer_int.c b/arch/blackfin/oprofile/timer_int.c
index 8fba16c846c9b6ea3d7711529a647f22c2bc5200..6c6f8606af4ceefcfd0dd0b81b25f9c60835808b 100644 (file)
--- a/arch/blackfin/oprofile/timer_int.c
+++ b/arch/blackfin/oprofile/timer_int.c
@@ -31,8 +31,7 @@
 #include <linux/smp.h>
 #include <linux/irq.h>
 #include <linux/oprofile.h>
-
-#include <asm/ptrace.h>
+#include <linux/ptrace.h>
 
 static void enable_sys_timer0()
 {