diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1994-02-16 21:40:01 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1994-02-16 21:40:01 +0000 |
| commit | f1062d0cd70102ce772d2282ebbededccad65680 (patch) | |
| tree | 55ac6b449c3775e474075eb25e50cf68296746c7 /libpager | |
| parent | 65042be32ac4698f9d6cf601d77cceeac99f3d88 (diff) | |
Formerly object-terminate.c.~7~
Diffstat (limited to 'libpager')
| -rw-r--r-- | libpager/object-terminate.c | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/libpager/object-terminate.c b/libpager/object-terminate.c index 578cf56e..fe355429 100644 --- a/libpager/object-terminate.c +++ b/libpager/object-terminate.c @@ -53,14 +53,6 @@ _pager_seqnos_memory_object_terminate (mach_port_t object, condition_wait (&p->wakeup, &p->interlock); } - _pager_wait_for_seqno (p, seqno); - - while (p->noterm) - { - p->termwaiting = 1; - condition_wait (&p->wakeup, &p->interlock); - } - _pager_free_structure (p); out: |