--- zzzz-none-000/linux-3.10.107/arch/cris/include/arch-v32/arch/irqflags.h	2017-06-27 09:49:32.000000000 +0000
+++ scorpion-7490-727/linux-3.10.107/arch/cris/include/arch-v32/arch/irqflags.h	2021-02-04 17:41:59.000000000 +0000
@@ -2,7 +2,7 @@
 #define __ASM_CRIS_ARCH_IRQFLAGS_H
 
 #include <linux/types.h>
-#include <arch/ptrace.h>
+#include <asm/ptrace.h>
 
 static inline unsigned long arch_local_save_flags(void)
 {