Searched refs:pico_eth_send (Results 1 - 4 of 4) sorted by relevance

/seL4-camkes-master/projects/global-components/components/PicoServer/src/
H A Deth_interface.c36 static int pico_eth_send(struct pico_device *dev, void *input_buf, int len) function
84 pico_driver->send = pico_eth_send;
/seL4-camkes-master/projects/util_libs/libethdrivers/src/
H A Dpico_dev_eth.c204 static int pico_eth_send(struct pico_device *dev, void *input_buf, int len) function
307 eth_dev->pico_dev.send = pico_eth_send;
/seL4-camkes-master/projects/global-components/remote-drivers/picotcp-ethernet-async/
H A Dclient.c74 static int pico_eth_send(struct pico_device *dev, void *input_buf, int len) function
93 ZF_LOGF("pico_eth_send: Invalid virtqueue ring entry");
105 ZF_LOGF("pico_eth_send: Error while enqueuing available buffer, queue full");
265 data->pico_dev.send = pico_eth_send;
/seL4-camkes-master/projects/camkes/apps/picotcp_single_component/src/
H A Dethdriver.c156 static int pico_eth_send(struct pico_device *dev, void *input_buf, int len) function
255 pico_dev.send = pico_eth_send;

Completed in 92 milliseconds