diff options
Diffstat (limited to 'mach-defpager')
| -rw-r--r-- | mach-defpager/default_pager.c | 2 | ||||
| -rw-r--r-- | mach-defpager/priv.h | 5 |
2 files changed, 5 insertions, 2 deletions
diff --git a/mach-defpager/default_pager.c b/mach-defpager/default_pager.c index d2220c5a..58fddfa9 100644 --- a/mach-defpager/default_pager.c +++ b/mach-defpager/default_pager.c @@ -67,6 +67,8 @@ #define debug 0 +struct partitions all_partitions; + static char my_name[] = "(default pager):"; static void __attribute__ ((format (printf, 1, 2), unused)) diff --git a/mach-defpager/priv.h b/mach-defpager/priv.h index a8844521..6f5aade6 100644 --- a/mach-defpager/priv.h +++ b/mach-defpager/priv.h @@ -61,11 +61,12 @@ struct part { }; typedef struct part *partition_t; -struct { +struct partitions { pthread_mutex_t lock; int n_partitions; partition_t *partition_list;/* array, for quick mapping */ -} all_partitions; /* list of all such */ +}; +extern struct partitions all_partitions; /* list of all such */ typedef unsigned char p_index_t; |