Searched refs:fileport_makefd (Results 1 – 6 of 6) sorted by relevance
39 int fileport_makefd(fileport_t fileport) in fileport_makefd() function
49 int fileport_makefd(fileport_t);
1060 fds[i] = fileport_makefd(fdps[i]); in launch_socket_service_check_in()
948 in_fds[i] = _fd(fileport_makefd(reply_fds[i])); in launch_msg_internal()
753 fd = fileport_makefd(fileport); in __notify_server_register_file_descriptor_2()
11764 in_fds[i] = _fd(fileport_makefd(request_fds[i]));