diff options
| -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); /* |