--- zzzz-none-000/linux-3.10.107/arch/x86/um/os-Linux/prctl.c	2017-06-27 09:49:32.000000000 +0000
+++ scorpion-7490-727/linux-3.10.107/arch/x86/um/os-Linux/prctl.c	2021-02-04 17:41:59.000000000 +0000
@@ -4,7 +4,7 @@
  */
 
 #include <sys/ptrace.h>
-#include <linux/ptrace.h>
+#include <asm/ptrace.h>
 
 int os_arch_prctl(int pid, int code, unsigned long *addr)
 {