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 | 3229edd01fef7370af096c5971e3f402467a6148 (patch) | |
| tree | ee78167f5cd7f79fa392650f4cf2ca8036da15f2 /serverboot | |
| parent | c28df115226d105434d69256ccc4f69771ee75bd (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); /* |