Blackfin arch: rewrite get_sclk()/get_vco()
[linux-2.6.git] / arch / blackfin / oprofile / timer_int.c
index 8fba16c..6c6f860 100644 (file)
@@ -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()
 {