From 3229edd01fef7370af096c5971e3f402467a6148 Mon Sep 17 00:00:00 2001 From: Roland McGrath Date: Thu, 18 Nov 1999 06:22:34 +0000 Subject: 1999-11-16 Roland McGrath * default_pager.c (default_pager_initialize): Use MACH_PORT_VALID to check old DMM port, rather than just checking for MACH_PORT_NULL. --- serverboot/default_pager.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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); /* -- cgit v1.2.3