void ipc_host_init(void)
{
ipc_port_t port;
/*
* Allocate and set up the two host ports.
*/
port = ipc_port_alloc_kernel();
if (port == IP_NULL)
panic("ipc_host_init");
ipc_kobject_set(port, (ipc_kobject_t) &realhost, IKOT_HOST);
realhost.host_self = port;
port = ipc_port_alloc_kernel();
if (port == IP_NULL)
panic("ipc_host_init");
ipc_kobject_set(port, (ipc_kobject_t) &realhost, IKOT_HOST_PRIV);
realhost.host_priv_self = port;
/*
* Set up ipc for default processor set.
*/
ipc_pset_init(&default_pset);
ipc_pset_enable(&default_pset);
/*
* And for master processor
*/
ipc_processor_init(master_processor);
}
void ipc_host_init(void)
{
ipc_port_t port;
int i;
lck_mtx_init(&realhost.lock, &host_notify_lock_grp, &host_notify_lock_attr);
/*
* Allocate and set up the two host ports.
*/
port = ipc_port_alloc_kernel();
if (port == IP_NULL)
panic("ipc_host_init");
ipc_kobject_set(port, (ipc_kobject_t) &realhost, IKOT_HOST_SECURITY);
kernel_set_special_port(&realhost, HOST_SECURITY_PORT,
ipc_port_make_send(port));
port = ipc_port_alloc_kernel();
if (port == IP_NULL)
panic("ipc_host_init");
ipc_kobject_set(port, (ipc_kobject_t) &realhost, IKOT_HOST);
kernel_set_special_port(&realhost, HOST_PORT,
ipc_port_make_send(port));
port = ipc_port_alloc_kernel();
if (port == IP_NULL)
panic("ipc_host_init");
ipc_kobject_set(port, (ipc_kobject_t) &realhost, IKOT_HOST_PRIV);
kernel_set_special_port(&realhost, HOST_PRIV_PORT,
ipc_port_make_send(port));
/* the rest of the special ports will be set up later */
for (i = FIRST_EXCEPTION; i < EXC_TYPES_COUNT; i++) {
realhost.exc_actions[i].port = IP_NULL;
}/* for */
/*
* Set up ipc for default processor set.
*/
ipc_pset_init(&pset0);
ipc_pset_enable(&pset0);
/*
* And for master processor
*/
ipc_processor_init(master_processor);
ipc_processor_enable(master_processor);
}
