Searched refs:ipc_port_alloc_special (Results 1 – 4 of 4) sorted by relevance
978 extern ipc_port_t ipc_port_alloc_special(
3174 ipc_port_alloc_special( in ipc_port_alloc_special() function
930 port = ipc_port_alloc_special(ipc_space_kernel, label, IP_INIT_NONE); in ipc_kobject_alloc_port()
1404 port = ipc_port_alloc_special(ipc_space_reply, in thread_get_kernel_special_reply_port()