• Home
  • History
  • Annotate
  • Raw
  • Download
  • only in /barrelfish-2018-10-04/lib/net_device_manager/

Lines Matching refs:port

21 // For port management
57 // gets any next available port number
58 // To be used on client side which does not care about the port number
62 // *. Find free port number
74 uint16_t *port);
76 // Allocates the specified port number to the application
77 // To be used on server side who wants to listen on perticular port number
81 // *. Make sure that requested port is available
96 // Close the specified port number
98 // *. Make sure that requested port is open and belongs to requesting app
99 // *. Find out the filter number associated with this port
179 // Initialzes the port number management service
196 // start the port management service
228 uint16_t port,
239 assert(port > 0);
253 /* send continuation msg about new port */
262 bp->local_port = port;
280 err = qlist[queueid].filt_mng->reg_filters(port, type, buffer_id_rx,
283 // close the port which was allocated
284 free_port(port, type);
298 // gets any next available port number
299 // To be used on client side which does not care about the port number
303 // *. Find free port number
315 uint16_t *port)
321 /* FIXME: get free port from portalloc system */
323 *port = alloc_tcp_port();
325 *port = alloc_udp_port();
328 // If could not allocate the port
329 if (*port == 0) {
335 *err = res_port(cc, *port, type, buffer_id_rx, buffer_id_tx, appid, queueid,
339 *port = 0;
348 // Allocates the specified port number to the application
349 // To be used on server side who wants to listen on perticular port number
353 // *. Make sure that requested port is available
370 uint16_t port;
372 NDM_DEBUG("bind_port: called for port %" PRIu16 " with RX[%" PRIu64
375 port = (uint64_t) alloc_specific_port((uint16_t) port_no, type);
377 if (port == 0) {
379 NDM_DEBUG("Requested port is in use!\n");
383 *err = res_port(cc, port, type, buffer_id_rx, buffer_id_tx, appid, queueid,
392 // Close the specified port number
394 // *. Make sure that requested port is open and belongs to requesting app
395 // *. Find out the filter number associated with this port
419 // close the port
425 NDM_DEBUG("close_port: port not found\n");
486 will be called informing successful registration of the port using