diff options
Diffstat (limited to 'mach-defpager/main.c')
| -rw-r--r-- | mach-defpager/main.c | 4 |
1 files changed, 0 insertions, 4 deletions
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) { |