summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichael I. Bushnell <mib@gnu.org>1994-06-01 16:47:57 +0000
committerMichael I. Bushnell <mib@gnu.org>1994-06-01 16:47:57 +0000
commit950a3c20d5744ab9907a249520b151a176008301 (patch)
tree76e4248039819f65ce848afc4043d116253f9dac
parente6941502cf535ad9fa0aa3dff3170dd446f70eda (diff)
Formerly priv.h.~11~
-rw-r--r--libpager/priv.h22
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);