diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2025-02-09 00:50:52 +0100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2025-02-09 00:50:57 +0100 |
| commit | af792dbfca3e3dd91805db9c2786e397c4a767c0 (patch) | |
| tree | 68a7c46c15cb296593abf5f0436bcd744511fc89 | |
| parent | 883af6aa527c4d0b43adc99c19e1cbb53153a7a0 (diff) | |
mach-defpager: Move default_pager_exception_port declaration to header
| -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) { |