Searched refs:init_free_ports (Results 1 - 3 of 3) sorted by relevance
/barrelfish-2018-10-04/lib/net_device_manager/ | ||
H A D | portalloc.h | 56 void init_free_ports(void); |
H A D | portalloc.c | 35 void init_free_ports(void) function |
H A D | port_service_impl.c | 194 init_free_ports(); |
Completed in 233 milliseconds