diff options
| author | Roland McGrath <roland@gnu.org> | 1999-11-18 06:22:34 +0000 |
|---|---|---|
| committer | Roland McGrath <roland@gnu.org> | 1999-11-18 06:22:34 +0000 |
| commit | 2a3a644af059fd988d9b7e24e9dd31942fcce70c (patch) | |
| tree | 0078ae730e9f81b5612282c2c5ecd37bb9b56357 /serverboot | |
| parent | 7c1b1940c5d50e0f011bd998ad6433238a7b243b (diff) | |
1999-11-16 Roland McGrath <roland@baalperazim.frob.com>
* default_pager.c (default_pager_initialize): Use MACH_PORT_VALID to
check old DMM port, rather than just checking for MACH_PORT_NULL.
Diffstat (limited to 'serverboot')
| -rw-r--r-- | serverboot/default_pager.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/serverboot/default_pager.c b/serverboot/default_pager.c index d2de5cdd..783e311e 100644 --- a/serverboot/default_pager.c +++ b/serverboot/default_pager.c @@ -3074,7 +3074,7 @@ default_pager_initialize(host_port) DMM = default_pager_default_port; kr = vm_set_default_memory_manager(host_port, &DMM); - if ((kr != KERN_SUCCESS) || (DMM != MACH_PORT_NULL)) + if ((kr != KERN_SUCCESS) || MACH_PORT_VALID(DMM)) panic(my_name); /* |