diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1994-01-19 18:59:55 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1994-01-19 18:59:55 +0000 |
| commit | f3bcd45f45e42a7479836788a84c5779e6db4be6 (patch) | |
| tree | e0e6700c30b442301f3fe918bb455db4ed455a0a /libpager | |
| parent | 96efcd32d69eebb510cfbaf705fd4771bff82f1f (diff) | |
Formerly object-init.c.~4~
Diffstat (limited to 'libpager')
| -rw-r--r-- | libpager/object-init.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/libpager/object-init.c b/libpager/object-init.c index 3d78199e..22d3b665 100644 --- a/libpager/object-init.c +++ b/libpager/object-init.c @@ -15,6 +15,10 @@ along with this program; if not, write to the Free Software Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. */ +#include "priv.h" +#include "memory_object.h" +#include <stdio.h> + /* This is called by a kernel to initialize the memory object; this routine is a dual of seqnos_memory_object_terminate. */ kern_return_t @@ -46,8 +50,6 @@ _pager_seqnos_memory_object_init (mach_port_t object, p->memobjcntl = control; p->memobjname = name; - if (p->pagemap || p->pagemapsize) - panic ("pagemap failure"); /* Tell the kernel we're ready */ /* XXX Don't cache for now. */ |