summaryrefslogtreecommitdiff
path: root/pfinet/linux
diff options
context:
space:
mode:
authorMichael I. Bushnell <mib@gnu.org>1995-08-02 17:26:27 +0000
committerMichael I. Bushnell <mib@gnu.org>1995-08-02 17:26:27 +0000
commitaf93d60fdfa71846f239cf0e8abb8ebc6ad8f223 (patch)
tree0b156a2539762ed63b798596e3f05b48f26a3bb2 /pfinet/linux
parent2db2750bec3e5112f5d33faf2f2a406b66f7a0d4 (diff)
Formerly mm.h.~2~
Diffstat (limited to 'pfinet/linux')
-rw-r--r--pfinet/linux/mm.h9
1 files changed, 9 insertions, 0 deletions
diff --git a/pfinet/linux/mm.h b/pfinet/linux/mm.h
index e69de29b..348229ae 100644
--- a/pfinet/linux/mm.h
+++ b/pfinet/linux/mm.h
@@ -0,0 +1,9 @@
+#ifndef _HACK_MM_H_
+#define _HACK_MM_H_
+
+int verify_area (int, const void *, u_long);
+
+#define VERIFY_READ 0
+#define VERIFY_WRITE 0
+
+#endif