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

/seL4-camkes-master/projects/global-components/remote-drivers/picotcp-ethernet-async/
H A Dserver.c87 static void eth_rx_complete(void *iface, unsigned int num_bufs, void **cookies, unsigned int *lens) function
97 ZF_LOGF("eth_rx_complete: Error while enqueuing used buffer, queue full");
108 ZF_LOGF("eth_rx_complete: Error while enqueuing used buffer, queue full");
116 .rx_complete = eth_rx_complete,
/seL4-camkes-master/projects/camkes/apps/picotcp_single_component/src/
H A Dethdriver.c100 static void eth_rx_complete(void *iface, unsigned int num_bufs, void **cookies, unsigned int *lens) function
125 .rx_complete = eth_rx_complete,
/seL4-camkes-master/projects/global-components/components/Ethdriver/src/
H A Dethdriver.c205 static void eth_rx_complete(void *iface, unsigned int num_bufs, void **cookies, unsigned int *lens) function
250 .rx_complete = eth_rx_complete,

Completed in 100 milliseconds