383 |
return 0; |
return 0; |
384 |
} |
} |
385 |
} |
} |
386 |
if (err) |
else |
387 |
error (12, err, "Cannot get privileged ports"); |
{ |
388 |
|
if (err) |
389 |
|
error (12, err, "Cannot get privileged ports"); |
390 |
|
|
391 |
err = vm_set_default_memory_manager (host, &def_pager); |
err = vm_set_default_memory_manager (host, &def_pager); |
392 |
mach_port_deallocate (mach_task_self (), host); |
mach_port_deallocate (mach_task_self (), host); |
393 |
if (err) |
if (err) |
394 |
error (13, err, "Cannot get default pager port"); |
error (13, err, "Cannot get default pager port"); |
395 |
if (def_pager == MACH_PORT_NULL) |
if (def_pager == MACH_PORT_NULL) |
396 |
error (14, 0, "No default pager (memory manager) is running!"); |
error (14, 0, "No default pager (memory manager) is running!"); |
397 |
|
} |
398 |
} |
} |
399 |
|
|
400 |
if (old_protocol) |
if (old_protocol) |