/seL4-refos-master/projects/util_libs/libethdrivers/src/ |
H A D | helpers.c | 18 void *virt = ps_dma_alloc(dma_man, size, alignment, cached, PS_MEM_NORMAL); local 19 if (!virt) { 22 uintptr_t phys = ps_dma_pin(dma_man, virt, size); 25 ps_dma_free(dma_man, virt, size); 30 ps_dma_cache_clean_invalidate(dma_man, virt, size); 32 return (dma_addr_t) {.virt = virt, .phys = phys}; 36 dma_unpin_free(ps_dma_man_t *dma_man, void *virt, size_t size) argument 38 ps_dma_unpin(dma_man, virt, size); 39 ps_dma_free(dma_man, virt, siz [all...] |
H A D | pico_dev_eth.c | 58 if (pico_iface->dma_bufs[i].virt) { 59 dma_unpin_free(&pico_iface->dma_man, pico_iface->dma_bufs[i].virt, 103 ps_dma_cache_clean_invalidate(&pico_iface->dma_man, dma_bufs[i].virt, 165 ps_dma_cache_invalidate(&pico_iface->dma_man, buf->virt, buf_size); 222 memcpy(buf.virt, input_buf, len); 223 ps_dma_cache_clean(ð_device->dma_man, buf.virt, len); 262 ps_dma_cache_invalidate(ð_device->dma_man, buf->virt, len); 263 pico_stack_recv(dev, buf->virt, len);
|
H A D | lwip.c | 46 ps_dma_cache_clean_invalidate(&iface->dma_man, dma_bufs[i].virt, CONFIG_LIB_ETHDRIVER_PREALLOCATED_BUF_SIZE); 57 if (dma_bufs[i].virt) { 58 dma_unpin_free(&iface->dma_man, dma_bufs[i].virt, CONFIG_LIB_ETHDRIVER_PREALLOCATED_BUF_SIZE); 87 ps_dma_cache_invalidate(&lwip_iface->dma_man, buf->virt, buf_size); 107 ps_dma_cache_invalidate(&lwip_iface->dma_man, ((dma_addr_t *)cookies[i])->virt, lens[i]); 135 memcpy(q->payload + pbuf_done, ((dma_addr_t *)cookies[buf])->virt + buf_done, next); 208 char *pkt_pos = (char *)buf.virt; 213 ps_dma_cache_clean(&iface->dma_man, buf.virt, p->tot_len); 215 // PKT_DEBUG(print_packet(COL_TX, (void*)buf.virt, p->tot_len));
|
/seL4-refos-master/projects/util_libs/libethdrivers/include/ethdrivers/ |
H A D | helpers.h | 19 void *virt; member in struct:dma_addr 27 void dma_unpin_free(ps_dma_man_t *dma_man, void *virt, size_t size);
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/am335x/ |
H A D | beaglebone.c | 105 dma_addr_t tx_ring = {.virt = VPTR_CPSW_CPPI(dev->iomm_address.eth_mmio_cpsw_reg), .phys = CPSW0_CPPI_RAM_REGS}; 106 dma_addr_t rx_ring = {.virt = VPTR_CPSW_CPPI(dev->iomm_address.eth_mmio_cpsw_reg) + (SIZE_CPPI_RAM >> 1), .phys = CPSW0_CPPI_RAM_REGS + (SIZE_CPPI_RAM >> 1)}; 107 dev->rx_ring = rx_ring.virt; 110 ps_dma_cache_clean_invalidate(dma_man, rx_ring.virt, sizeof(struct descriptor) * dev->rx_size); 111 ps_dma_cache_clean_invalidate(dma_man, tx_ring.virt, sizeof(struct descriptor) * dev->tx_size); 130 dev->tx_ring = tx_ring.virt;
|
/seL4-refos-master/seL4_tools/elfloader-tool/src/arch-arm/armv/armv7-a/32/ |
H A D | mmu-hyp.S | 21 .arch_extension virt
|
/seL4-refos-master/seL4_tools/elfloader-tool/src/arch-arm/armv/armv7ve/32/ |
H A D | mmu-hyp.S | 21 .arch_extension virt
|
/seL4-refos-master/seL4_tools/elfloader-tool/src/arch-arm/armv/armv8-a/32/ |
H A D | mmu-hyp.S | 21 .arch_extension virt
|
/seL4-refos-master/tools/elfloader/src/arch-arm/armv/armv8-a/32/ |
H A D | mmu-hyp.S | 21 .arch_extension virt
|
/seL4-refos-master/tools/elfloader/src/arch-arm/armv/armv7-a/32/ |
H A D | mmu-hyp.S | 21 .arch_extension virt
|
/seL4-refos-master/tools/elfloader/src/arch-arm/armv/armv7ve/32/ |
H A D | mmu-hyp.S | 21 .arch_extension virt
|
/seL4-refos-master/seL4_tools/elfloader-tool/src/arch-riscv/ |
H A D | boot.c | 47 #define VIRT_PHYS_ALIGNED(virt, phys, level_bits) (IS_ALIGNED((virt), (level_bits)) && IS_ALIGNED((phys), (level_bits)))
|
/seL4-refos-master/tools/elfloader/src/arch-riscv/ |
H A D | boot.c | 47 #define VIRT_PHYS_ALIGNED(virt, phys, level_bits) (IS_ALIGNED((virt), (level_bits)) && IS_ALIGNED((phys), (level_bits)))
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/pc99/ |
H A D | virtio_pci.c | 143 memset(rx_ring.virt, 0, vring_size(dev->rx_size, VIRTIO_PCI_VRING_ALIGN)); 144 vring_init(&dev->rx_ring, dev->rx_size, rx_ring.virt, VIRTIO_PCI_VRING_ALIGN); 152 memset(tx_ring.virt, 0, vring_size(dev->tx_size, VIRTIO_PCI_VRING_ALIGN)); 153 vring_init(&dev->tx_ring, dev->tx_size, tx_ring.virt, VIRTIO_PCI_VRING_ALIGN); 382 if (!packet.virt) { 385 memset(packet.virt, 0, sizeof(struct virtio_net_hdr));
|
H A D | intel.c | 755 dev->rx_ring = rx_ring.virt; 779 dev->tx_ring = tx_ring.virt;
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/tx2/ |
H A D | tx2.c | 62 dev->rx_ring = rx_ring.virt; 72 dev->tx_ring = tx_ring.virt; 75 ps_dma_cache_clean_invalidate(dma_man, rx_ring.virt, sizeof(struct eqos_desc) * dev->rx_size); 76 ps_dma_cache_clean_invalidate(dma_man, tx_ring.virt, sizeof(struct eqos_desc) * dev->tx_size);
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/imx6/ |
H A D | imx6.c | 175 dev->rx_ring = rx_ring.virt; 183 ps_dma_cache_clean_invalidate(dma_man, rx_ring.virt, sizeof(struct descriptor) * dev->rx_size); 184 ps_dma_cache_clean_invalidate(dma_man, tx_ring.virt, sizeof(struct descriptor) * dev->tx_size); 202 dev->tx_ring = tx_ring.virt;
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/zynq7000/ |
H A D | zynq7000.c | 87 dev->rx_ring = rx_ring.virt; 96 ps_dma_cache_clean_invalidate(dma_man, rx_ring.virt, sizeof(struct emac_bd) * dev->rx_size); 97 ps_dma_cache_clean_invalidate(dma_man, tx_ring.virt, sizeof(struct emac_bd) * dev->tx_size); 122 dev->tx_ring = tx_ring.virt;
|
/seL4-refos-master/kernel/manual/parts/ |
H A D | threads.tex | 616 \label{sec:virt}
|