From d24aa39dfd5b56fa8f03c89558e3a127e8f345dc Mon Sep 17 00:00:00 2001
From: "Michael I. Bushnell" <mib@gnu.org>
Date: Wed, 9 Aug 1995 17:19:55 +0000
Subject: entered into RCS

---
 pfinet/linux/mm.h | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/pfinet/linux/mm.h b/pfinet/linux/mm.h
index 8044d2b6..0fb18a59 100644
--- a/pfinet/linux/mm.h
+++ b/pfinet/linux/mm.h
@@ -4,7 +4,9 @@
 #include <linux/kernel.h>
 #include <linux/sched.h>
 
-int verify_area (int, const void *, u_long);
+/* 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
-- 
cgit v1.2.3