diff options
author | Michael I. Bushnell <mib@gnu.org> | 1994-01-19 20:20:51 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1994-01-19 20:20:51 +0000 |
commit | 1cbd5b157ae334e22135ec7cca955a40bac025c1 (patch) | |
tree | ee5bbb02578d809bfe3789a3c62f29ddec6d8094 /libpager/stubs.c | |
parent | 5c446584df4adb6f42589da7b5cf5def23a42a81 (diff) |
Formerly stubs.c.~3~
Diffstat (limited to 'libpager/stubs.c')
-rw-r--r-- | libpager/stubs.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/libpager/stubs.c b/libpager/stubs.c index 446357da..577b2a87 100644 --- a/libpager/stubs.c +++ b/libpager/stubs.c @@ -16,6 +16,9 @@ Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. */ +#include "priv.h" +#include "memory_object.h" + error_t _pager_seqnos_memory_object_copy (mach_port_t old, mach_port_seqno_t seq, |