diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1995-08-09 17:19:55 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1995-08-09 17:19:55 +0000 |
| commit | d24aa39dfd5b56fa8f03c89558e3a127e8f345dc (patch) | |
| tree | 6d3401b95a5e80707151af49e89b151098c43ea9 /pfinet/linux | |
| parent | 993101436ef7b739f3c47c705ccb7b45fdf6c619 (diff) | |
entered into RCS
Diffstat (limited to 'pfinet/linux')
| -rw-r--r-- | pfinet/linux/mm.h | 4 |
1 files changed, 3 insertions, 1 deletions
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 |