Searched refs:BUF_SIZE (Results 1 - 16 of 16) sorted by relevance

/seL4-camkes-master/projects/camkes/apps/hierarchical-components/components/Append/src/
H A Dmain.c11 #define BUF_SIZE 128 macro
14 char buf[BUF_SIZE];
15 snprintf(buf, BUF_SIZE, "%s%s", str, string_to_append);
/seL4-camkes-master/projects/camkes/apps/multiassembly/components/Append/src/
H A Dmain.c11 #define BUF_SIZE 128 macro
14 char buf[BUF_SIZE];
15 snprintf(buf, BUF_SIZE, "%s%s", str, string_to_append);
/seL4-camkes-master/projects/camkes/apps/picotcp_tcp_echo/components/Echo/src/
H A Dtuning_params.h20 #define BUF_SIZE 2048 macro
24 #define PICOTCP_SOCKET_ASYNC_POOL_SIZE (BUF_SIZE * PICOTCP_SOCKET_ASYNC_QUEUE_LEN)
H A Dudp_echo_socket.c20 if (!virtqueue_add_available_buf(&rx_virtqueue, &handle, ENCODE_DMA_ADDRESS(msg), BUF_SIZE, VQ_RW)) {
46 if (!virtqueue_add_available_buf(&rx_virtqueue, &handle, ENCODE_DMA_ADDRESS(msg), BUF_SIZE, VQ_RW)) {
70 tx_msg_t *buf = ps_dma_alloc(&io_ops->dma_manager, BUF_SIZE, 4, 1, PS_MEM_NORMAL);
72 memset(buf, 0, BUF_SIZE);
H A Dclient.h30 static_assert(BUF_SIZE >= (sizeof(tx_msg_t) + UDP_READ_SIZE),
31 "BUF_SIZE is too small to hold UDP_READ_SIZE and metadata");
32 static_assert(BUF_SIZE >= (sizeof(tx_msg_t) + TCP_READ_SIZE),
33 "BUF_SIZE is too small to hold TCP_READ_SIZE and metadata");
H A Dtcp_echo_socket.c43 if (!virtqueue_add_available_buf(&rx_virtqueue, &handle, ENCODE_DMA_ADDRESS(msg), BUF_SIZE, VQ_RW)) {
107 if (!virtqueue_add_available_buf(&rx_virtqueue, &handle, ENCODE_DMA_ADDRESS(msg), BUF_SIZE, VQ_RW)) {
185 tx_msg_t *buf = ps_dma_alloc(&io_ops->dma_manager, BUF_SIZE, 4, 1, PS_MEM_NORMAL);
187 memset(buf, 0, BUF_SIZE);
/seL4-camkes-master/projects/camkes/apps/picotcp_single_component/src/
H A Dtuning_params.h12 #define BUF_SIZE 2048 macro
27 #define DMA_ALLOC_SIZE (DMA_RING_ALLOC_SIZE + BUF_SIZE * (TX_BUFS + RX_BUFS))
H A Dethdriver.c88 if (buf_size > BUF_SIZE) {
159 if (len > BUF_SIZE || len < 0) {
217 buf->buf = ps_dma_alloc(&io_ops->dma_manager, BUF_SIZE, 64, 1, PS_MEM_NORMAL);
222 memset(buf->buf, 0, BUF_SIZE);
223 buf->phys = ps_dma_pin(&io_ops->dma_manager, buf->buf, BUF_SIZE);
234 buf->buf = ps_dma_alloc(&io_ops->dma_manager, BUF_SIZE, 64, 1, PS_MEM_NORMAL);
239 memset(buf->buf, 0, BUF_SIZE);
240 buf->phys = ps_dma_pin(&io_ops->dma_manager, buf->buf, BUF_SIZE);
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/drivers/
H A Dvirtio_net_emul.c12 #define BUF_SIZE 2048 macro
29 if (buf_size > BUF_SIZE) {
32 void *vaddr = ps_dma_alloc(&net->dma_man, BUF_SIZE, net->driver.dma_alignment, 1, PS_MEM_NORMAL);
36 uintptr_t phys = ps_dma_pin(&net->dma_man, vaddr, BUF_SIZE);
117 ps_dma_unpin(&net->dma_man, cookies[i], BUF_SIZE);
118 ps_dma_free(&net->dma_man, cookies[i], BUF_SIZE);
128 ps_dma_unpin(&net->dma_man, tx_cookie->vaddr, BUF_SIZE);
129 ps_dma_free(&net->dma_man, tx_cookie->vaddr, BUF_SIZE);
151 void *vaddr = ps_dma_alloc(&net->dma_man, BUF_SIZE, net->driver.dma_alignment, 1, PS_MEM_NORMAL);
156 uintptr_t phys = ps_dma_pin(&net->dma_man, vaddr, BUF_SIZE);
[all...]
/seL4-camkes-master/projects/global-components/remote-drivers/picotcp-ethernet-async/
H A Dclient.c34 #define BUF_SIZE 2048 macro
130 if (!virtqueue_add_available_buf(&state->rx_virtqueue, &handle, ENCODE_DMA_ADDRESS(buf), BUF_SIZE, VQ_RW)) {
228 void *buf = ps_dma_alloc(&io_ops->dma_manager, BUF_SIZE, 64, 1, PS_MEM_NORMAL);
230 memset(buf, 0, BUF_SIZE);
248 if (!virtqueue_add_available_buf(&data->rx_virtqueue, &handle, ENCODE_DMA_ADDRESS(buf), BUF_SIZE, VQ_RW)) {
254 void *buf = ps_dma_alloc(&io_ops->dma_manager, BUF_SIZE, 64, 1, PS_MEM_NORMAL);
257 memset(buf, 0, BUF_SIZE);
H A Dserver.c42 #define BUF_SIZE 2048 macro
51 if (!virtqueue_add_used_buf(&state->tx_virtqueue, &handle, BUF_SIZE)) {
61 if (buf_size > BUF_SIZE) {
82 uintptr_t phys = ps_dma_pin(&state->io_ops->dma_manager, DECODE_DMA_ADDRESS(buf), BUF_SIZE);
159 uintptr_t phys = ps_dma_pin(&state->io_ops->dma_manager, DECODE_DMA_ADDRESS(buf), BUF_SIZE);
/seL4-camkes-master/projects/global-components/components/Ethdriver/src/
H A Dethdriver.c33 #define BUF_SIZE 2048 macro
133 if (buf_size > BUF_SIZE) {
306 if (len > BUF_SIZE) {
307 len = BUF_SIZE;
393 void *buf = ps_dma_alloc(&io_ops->dma_manager, BUF_SIZE, 4, 1, PS_MEM_NORMAL);
395 memset(buf, 0, BUF_SIZE);
396 uintptr_t phys = ps_dma_pin(&io_ops->dma_manager, buf, BUF_SIZE);
410 void *buf = ps_dma_alloc(&io_ops->dma_manager, BUF_SIZE, 4, 1, PS_MEM_NORMAL);
412 memset(buf, 0, BUF_SIZE);
413 uintptr_t phys = ps_dma_pin(&io_ops->dma_manager, buf, BUF_SIZE);
[all...]
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/pc99/
H A Dvirtio_pci.c25 #define BUF_SIZE 2048 macro
252 uintptr_t phys = driver->i_cb.allocate_rx_buf(driver->cb_cookie, BUF_SIZE, &cookie);
266 .len = BUF_SIZE,
H A Dintel.c26 #define BUF_SIZE 2048 macro
909 uintptr_t phys = driver->i_cb.allocate_rx_buf ? driver->i_cb.allocate_rx_buf(driver->cb_cookie, BUF_SIZE, &cookie) : 0;
918 .length = BUF_SIZE,
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/imx6/
H A Dimx6.c32 #define BUF_SIZE MAX_PKT_SIZE macro
113 uintptr_t phys = driver->i_cb.allocate_rx_buf? driver->i_cb.allocate_rx_buf(driver->cb_cookie, BUF_SIZE, &cookie): 0;
430 .tx_phys = eth_data->tx_ring_phys, .rx_phys = eth_data->rx_ring_phys, .rx_bufsize = BUF_SIZE
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/zynq7000/
H A Dzynq7000.c30 #define BUF_SIZE MAX_PKT_SIZE macro
168 uintptr_t phys = driver->i_cb.allocate_rx_buf ? driver->i_cb.allocate_rx_buf(driver->cb_cookie, BUF_SIZE, &cookie) : 0;

Completed in 78 milliseconds