diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1994-06-01 16:47:57 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1994-06-01 16:47:57 +0000 |
| commit | 950a3c20d5744ab9907a249520b151a176008301 (patch) | |
| tree | 76e4248039819f65ce848afc4043d116253f9dac | |
| parent | e6941502cf535ad9fa0aa3dff3170dd446f70eda (diff) | |
Formerly priv.h.~11~
| -rw-r--r-- | libpager/priv.h | 22 |
1 files changed, 20 insertions, 2 deletions
diff --git a/libpager/priv.h b/libpager/priv.h index d6a51b15..5cbd47ff 100644 --- a/libpager/priv.h +++ b/libpager/priv.h @@ -20,6 +20,10 @@ #include "pager.h" #include <hurd/ports.h> +/* Define this if you think the kernel is sending memory_object_init + out of sequence with memory_object_terminate. */ +/* #undef KERNEL_INIT_RACE */ + struct pager { struct port_info port; @@ -54,6 +58,12 @@ struct pager int termwaiting:1; int waitingforseqno:1; +#ifdef KERNEL_INIT_RACE + /* Out of sequence object_init calls waiting for + terminations. */ + struct pending_init *init_head, *init_tail; +#endif + char *pagemap; int pagemapsize; }; @@ -76,6 +86,15 @@ struct attribute_request int attrs_pending; }; +#ifdef KERNEL_INIT_RACE +struct pending_init +{ + mach_port_t control; + mach_port_t name; + struct pending_init *next; +}; +#endif + enum page_errors { PAGE_NOERR, @@ -86,7 +105,6 @@ enum page_errors int _pager_page_errors[]; - /* Pagemap format */ /* These are binary state bits */ #define PM_PAGINGOUT 0x40 /* being written to disk */ @@ -108,7 +126,7 @@ int _pager_page_errors[]; void _pager_wait_for_seqno (struct pager *, int); -void _pager_release_seqno (struct pager *); +void _pager_release_seqno (struct pager *, int); void _pager_block_termination (struct pager *); void _pager_allow_termination (struct pager *); void _pager_pagemap_resize (struct pager *, vm_address_t); |