+FILE=../$NAME-instrumentation-x86_64.diff
+
+IN="?_arch_x86_64_ia32_ia32entry.S
+?_arch_x86_64_ia32_ipc32.c
+?_arch_x86_64_kernel_entry.S
+?_arch_x86_64_kernel_ltt.c
+?_arch_x86_64_kernel_Makefile
+?_arch_x86_64_kernel_time.c
+?_arch_x86_64_kernel_traps.c
+?_arch_x86_64_mm_fault.c
+?_include_asm-x86_64_ia32_unistd.h
+?_include_asm-x86_64_unistd.h
+?_include_asm-x86_64_system.h"
+
+for a in $IN; do wr $a $FILE; done
+
+