diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1994-01-13 20:45:57 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1994-01-13 20:45:57 +0000 |
| commit | eb5725ffc76078a95d15c44ec2e228e8baff6ffa (patch) | |
| tree | f2cdbae965a6cca7b4ed044a28ced1bcf0695ea8 | |
| parent | d68074b8c460de31fae524b67ff4c19e8e56fc2e (diff) | |
Formerly object-init.c.~2~
| -rw-r--r-- | libpager/object-init.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/libpager/object-init.c b/libpager/object-init.c index 7cea9721..a5d52d08 100644 --- a/libpager/object-init.c +++ b/libpager/object-init.c @@ -54,9 +54,11 @@ seqnos_memory_object_init (mach_port_t object, memory_object_ready (control, 0, MEMORY_OBJECT_COPY_NONE); p->pager_state = NORMAL; + + _pager_release_seqno (p); mutex_unlock (&p->interlock); out: - _pager_done_with_port (p); + done_with_port (p); return 0; } |