diff options
| -rw-r--r-- | mach-defpager/default_pager.h | 2 | ||||
| -rw-r--r-- | mach-defpager/main.c | 4 |
2 files changed, 2 insertions, 4 deletions
diff --git a/mach-defpager/default_pager.h b/mach-defpager/default_pager.h index 85bae71b..119a301a 100644 --- a/mach-defpager/default_pager.h +++ b/mach-defpager/default_pager.h @@ -24,6 +24,8 @@ #include <file_io.h> +extern mach_port_t default_pager_exception_port; + void default_pager(void); void default_pager_initialize(mach_port_t host_port); diff --git a/mach-defpager/main.c b/mach-defpager/main.c index 27865eea..11afea2f 100644 --- a/mach-defpager/main.c +++ b/mach-defpager/main.c @@ -54,10 +54,6 @@ const char *defpager_server_name = "mach-defpager"; mach_port_t bootstrap_master_device_port; /* local name */ mach_port_t bootstrap_master_host_port; /* local name */ -/* initialized in default_pager_initialize */ -extern mach_port_t default_pager_exception_port; - - static void printf_init (device_t master) { |