Searched refs:rx_bufs (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/projects/camkes/apps/picotcp_single_component/src/
H A Dethdriver.c46 eth_buf_t rx_bufs[RX_BUFS]; variable
216 eth_buf_t *buf = &rx_bufs[i];
/seL4-camkes-master/projects/global-components/components/Ethdriver/src/
H A Dethdriver.c108 static eth_buf_t rx_bufs[RX_BUFS]; variable
255 * the driver's buffer (rx_bufs), into the dataport of the caller of this
397 rx_bufs[num_rx_bufs] = (eth_buf_t) {
400 rx_buf_pool[num_rx_bufs] = &(rx_bufs[num_rx_bufs]);

Completed in 31 milliseconds