diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1994-06-01 16:36:19 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1994-06-01 16:36:19 +0000 |
| commit | 9aac03662a06056ed538518f9bf15ca9c0c5bfae (patch) | |
| tree | 12c9a7b86c9d584ee1cb67dd464e244c18cf720f /libpager/object-init.c | |
| parent | 1d64c7f7c24546eeb84f559605624ab0c3368202 (diff) | |
Formerly object-init.c.~11~
Diffstat (limited to 'libpager/object-init.c')
| -rw-r--r-- | libpager/object-init.c | 16 |
1 files changed, 15 insertions, 1 deletions
diff --git a/libpager/object-init.c b/libpager/object-init.c index 9d99fa8b..911d1668 100644 --- a/libpager/object-init.c +++ b/libpager/object-init.c @@ -45,7 +45,21 @@ _pager_seqnos_memory_object_init (mach_port_t object, if (p->pager_state != NOTINIT) { +#ifdef KERNEL_INIT_RACE + struct pending_init *i = malloc (sizeof (struct pending_init)); + printf ("pager out-of-sequence init\n"); + i->control = control; + i->name = name; + + i->next = 0; + if (p->init_tail) + p->init_tail->next = i; + else + p->init_head = i; + p->init_tail = i; +#else printf ("pager dup init\n"); +#endif goto out; } @@ -56,7 +70,7 @@ _pager_seqnos_memory_object_init (mach_port_t object, p->pager_state = NORMAL; - _pager_release_seqno (p); + _pager_release_seqno (p, seqno); mutex_unlock (&p->interlock); out: |