diff options
author | Michael I. Bushnell <mib@gnu.org> | 1995-08-02 17:26:27 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1995-08-02 17:26:27 +0000 |
commit | af93d60fdfa71846f239cf0e8abb8ebc6ad8f223 (patch) | |
tree | 0b156a2539762ed63b798596e3f05b48f26a3bb2 /pfinet/linux/mm.h | |
parent | 2db2750bec3e5112f5d33faf2f2a406b66f7a0d4 (diff) |
Formerly mm.h.~2~
Diffstat (limited to 'pfinet/linux/mm.h')
-rw-r--r-- | pfinet/linux/mm.h | 9 |
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 |