diff options
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 |