1 files changed, 16 insertions, 0 deletions
diff --git a/pfinet/linux/mm.h b/pfinet/linux/mm.h
new file mode 100644
index 00000000..0fb18a59
--- /dev/null
+++ b/pfinet/linux/mm.h
@@ -0,0 +1,16 @@
+#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