Searched refs:picotcp_ethernet_async_server_init (Results 1 - 3 of 3) sorted by relevance
/seL4-camkes-master/projects/global-components/remote-drivers/picotcp-ethernet-async/templates/ |
H A D | picotcp-ethernet-async-server-init.template.c | 42 return picotcp_ethernet_async_server_init(io_ops, "/*? connection_name ?*/_tx", "/*? connection_name ?*/_rx", single_threaded_component_register_handler, register_get_mac_fn);
|
/seL4-camkes-master/projects/global-components/remote-drivers/picotcp-ethernet-async/include/ |
H A D | picotcp-ethernet-async.h | 45 int picotcp_ethernet_async_server_init(ps_io_ops_t *io_ops, const char *tx_virtqueue, const char *rx_virtqueue,
|
/seL4-camkes-master/projects/global-components/remote-drivers/picotcp-ethernet-async/ |
H A D | server.c | 195 int picotcp_ethernet_async_server_init(ps_io_ops_t *io_ops, const char *tx_virtqueue, const char *rx_virtqueue, function
|
Completed in 31 milliseconds