/seL4-camkes-master/projects/camkes/apps/hierarchical-components/components/Append/src/ |
H A D | main.c | 11 #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 D | main.c | 11 #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 D | tuning_params.h | 20 #define BUF_SIZE 2048 macro 24 #define PICOTCP_SOCKET_ASYNC_POOL_SIZE (BUF_SIZE * PICOTCP_SOCKET_ASYNC_QUEUE_LEN)
|
H A D | udp_echo_socket.c | 20 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 D | client.h | 30 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 D | tcp_echo_socket.c | 43 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 D | tuning_params.h | 12 #define BUF_SIZE 2048 macro 27 #define DMA_ALLOC_SIZE (DMA_RING_ALLOC_SIZE + BUF_SIZE * (TX_BUFS + RX_BUFS))
|
H A D | ethdriver.c | 88 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 D | virtio_net_emul.c | 12 #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 D | client.c | 34 #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 D | server.c | 42 #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 D | ethdriver.c | 33 #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 D | virtio_pci.c | 25 #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 D | intel.c | 26 #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 D | imx6.c | 32 #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 D | zynq7000.c | 30 #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;
|