1 files changed, 0 insertions, 16 deletions
diff --git a/pfinet/linux/mm.h b/pfinet/linux/mm.h
deleted file mode 100644
index 0fb18a59..00000000
--- a/pfinet/linux/mm.h
+++ /dev/null
@@ -1,16 +0,0 @@
-#ifndef _HACK_MM_H_
-#define _HACK_MM_H_
-
-#include <linux/kernel.h>
-#include <linux/sched.h>
-
-/* All memory addresses are presumptively valid, because they are
-   all internal. */
-#define verify_area(a,b,c) 0
-
-#define VERIFY_READ 0
-#define VERIFY_WRITE 0
-#define GFP_ATOMIC 0
-#define GFP_KERNEL 0
-
-#endif