Searched refs:free_port (Results 1 - 3 of 3) sorted by relevance

/barrelfish-2018-10-04/lib/net_device_manager/
H A Dportalloc.h62 void free_port(uint16_t port, net_ports_port_type_t type);
H A Dportalloc.c175 inline void free_port(uint16_t port, net_ports_port_type_t type) function
H A Dport_service_impl.c284 free_port(port, type);
420 free_port(port_no, type);

Completed in 34 milliseconds