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

/barrelfish-2018-10-04/lib/net_device_manager/
H A Dportalloc.h61 uint16_t alloc_specific_port(uint16_t port, net_ports_port_type_t type);
H A Dportalloc.c150 inline uint16_t alloc_specific_port(uint16_t port, net_ports_port_type_t type) function
H A Dport_service_impl.c375 port = (uint64_t) alloc_specific_port((uint16_t) port_no, type);

Completed in 70 milliseconds