-/*
- default_pager_host_port = ipc_port_make_send(realhost.host_priv_self);
- master_device_port = ipc_port_make_send(master_device_port);
- root_ledger_wired = ipc_port_make_send(root_wired_ledger_port);
- root_ledger_paged = ipc_port_make_send(root_paged_ledger_port);
- security_port = ipc_port_make_send(realhost.host_security_self);
-*/
-
-