/seL4-camkes-master/kernel/include/arch/x86/arch/32/mode/kernel/ |
H A D | vspace.h | 12 static inline pte_t x86_make_device_pte(paddr_t phys) argument 15 phys, /* page_base_address */
|
/seL4-camkes-master/projects/util_libs/libethdrivers/src/ |
H A D | helpers.c | 22 uintptr_t phys = ps_dma_pin(dma_man, virt, size); local 23 if (!phys) { 32 return (dma_addr_t) {.virt = virt, .phys = phys};
|
H A D | lwip.c | 43 if (!dma_bufs[i].phys) { 89 return buf->phys; 222 status = iface->driver.i_fn.raw_tx(&iface->driver, 1, &buf.phys, &length, orig_buf); 262 uintptr_t phys = ps_dma_pin(&lwip_iface->dma_man, p->payload, buf_size); local 263 if (!phys) { 269 return phys; 364 uintptr_t phys[max_frames]; local 374 phys[num_frames] = ps_dma_pin(&iface->dma_man, (void *)loc, lengths[num_frames]); 376 assert(phys[num_frames]); 386 status = iface->driver.i_fn.raw_tx(&iface->driver, num_frames, phys, length [all...] |
/seL4-camkes-master/kernel/include/arch/x86/arch/64/mode/kernel/ |
H A D | vspace.h | 17 static inline pte_t x86_make_device_pte(paddr_t phys) argument 21 phys, /* page_base_address */
|
/seL4-camkes-master/projects/util_libs/libethdrivers/include/ethdrivers/ |
H A D | helpers.h | 20 uintptr_t phys; member in struct:dma_addr
|
H A D | raw.h | 30 * @param phys Array of length 'num' detailing physical addresses 41 typedef int (*ethif_raw_tx)(struct eth_driver *driver, unsigned int num, uintptr_t *phys, unsigned int *len,
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/drivers/ |
H A D | virtio_emul_helpers.c | 12 static int read_guest_mem(vm_t *vm, uintptr_t phys, void *vaddr, size_t size, size_t offset, void *cookie) argument 19 static int write_guest_mem(vm_t *vm, uintptr_t phys, void *vaddr, size_t size, size_t offset, void *cookie) argument
|
H A D | virtio_net_emul.c | 36 uintptr_t phys = ps_dma_pin(&net->dma_man, vaddr, BUF_SIZE); local 38 return phys; 156 uintptr_t phys = ps_dma_pin(&net->dma_man, vaddr, BUF_SIZE); local 157 assert(phys); 188 int result = net->driver.i_fn.raw_tx(&net->driver, 1, &phys, &len, cookie);
|
/seL4-camkes-master/tools/cogent/impl/fs/vfat/cogent/lib/ |
H A D | wraphead.h | 49 sector_t phys); 51 extern int fat_bmap(struct inode *inode, sector_t sector, sector_t *phys,
|
/seL4-camkes-master/tools/rumprun/platform/xen/xen/include/mini-os/x86/ |
H A D | mm.h | 77 /* These are page-table limitations. Current CPUs support only 40-bit phys. */ 165 static __inline__ maddr_t phys_to_machine(paddr_t phys) argument 167 maddr_t machine = pfn_to_mfn(phys >> PAGE_SHIFT); 168 machine = (machine << PAGE_SHIFT) | (phys & ~PAGE_MASK); 175 paddr_t phys = mfn_to_pfn(machine >> PAGE_SHIFT); local 176 phys = (phys << PAGE_SHIFT) | (machine & ~PAGE_MASK); 177 return phys;
|
/seL4-camkes-master/projects/camkes/apps/picotcp_single_component/src/ |
H A D | ethdriver.c | 42 uintptr_t phys; member in struct:eth_buf 96 return rx_buf_pool[num_rx_bufs]->phys; 175 int err = eth_driver->i_fn.raw_tx(eth_driver, 1, (uintptr_t *) & (tx_buf->phys), 223 buf->phys = ps_dma_pin(&io_ops->dma_manager, buf->buf, BUF_SIZE); 224 if (!buf->phys) { 240 buf->phys = ps_dma_pin(&io_ops->dma_manager, buf->buf, BUF_SIZE); 241 if (!buf->phys) {
|
/seL4-camkes-master/projects/global-components/components/Ethdriver/src/ |
H A D | ethdriver.c | 46 uintptr_t phys; member in struct:eth_buf 141 return rx_buf_pool[num_rx_bufs]->phys; 221 uintptr_t phys = eth_allocate_rx_buf(iface, lens[0], &cookie); local 223 if (phys) { 338 err = eth_driver->i_fn.raw_tx(eth_driver, 1, (uintptr_t *) & (tx_buf->buf.phys), 396 uintptr_t phys = ps_dma_pin(&io_ops->dma_manager, buf, BUF_SIZE); local 398 .buf = buf, .phys = phys 413 uintptr_t phys = ps_dma_pin(&io_ops->dma_manager, buf, BUF_SIZE); local 419 .buf = buf, .phys [all...] |
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/imx6/ |
H A D | imx6.c | 46 uint32_t phys; member in struct:descriptor 113 uintptr_t phys = driver->i_cb.allocate_rx_buf? driver->i_cb.allocate_rx_buf(driver->cb_cookie, BUF_SIZE, &cookie): 0; local 114 if (!phys) { 121 dev->rx_ring[dev->rdt].phys = phys; 171 if (!rx_ring.phys) { 176 dev->rx_ring_phys = rx_ring.phys; 178 if (!tx_ring.phys) { 203 dev->tx_ring_phys = tx_ring.phys; 214 .phys 330 raw_tx(struct eth_driver *driver, unsigned int num, uintptr_t *phys, unsigned int *len, void *cookie) argument [all...] |
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/am335x/ |
H A D | beaglebone.c | 51 uintptr_t phys = driver->i_cb.allocate_rx_buf ? driver->i_cb.allocate_rx_buf(driver->cb_cookie, MAX_PKT_SIZE, &cookie) : 0; local 52 if (!phys) { 57 dev->rx_ring[dev->rdt].bufptr = phys; 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)}; 108 dev->rx_ring_phys = rx_ring.phys; 131 dev->tx_ring_phys = tx_ring.phys; 229 static int raw_tx(struct eth_driver *driver, unsigned int num, uintptr_t *phys, unsigned int *len, void *cookie) argument 250 dev->tx_ring[ring].bufptr = phys[i];
|
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/tx2/ |
H A D | tx2.c | 58 if (!rx_ring.phys) { 63 dev->rx_ring_phys = rx_ring.phys; 67 if (!tx_ring.phys) { 73 dev->tx_ring_phys = tx_ring.phys; 125 uintptr_t phys = driver->i_cb.allocate_rx_buf ? driver->i_cb.allocate_rx_buf(driver->cb_cookie, EQOS_MAX_PACKET_SIZE, local 128 if (!phys) { 137 dev->rx_ring[dev->rdt].des0 = phys; 250 static int raw_tx(struct eth_driver *driver, unsigned int num, uintptr_t *phys, argument 271 err = eqos_send(dev, (void *)phys[i], len[i]);
|
/seL4-camkes-master/tools/seL4/elfloader-tool/include/binaries/elf/ |
H A D | elf.h | 223 * @param phys If true return bounds of physical memory, otherwise return 230 int elf_getMemoryBounds(void *elfFile, int phys, uint64_t *min, uint64_t *max); 245 * @param phys If true load using the physical address, otherwise using the virtual addresses 258 int elf_loadFile(void *elfFile, int phys);
|
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/pc99/ |
H A D | intel.c | 601 static void set_tx_ring(e1000_dev_t *dev, uintptr_t phys) argument 603 uint32_t phys_low = (uint32_t)phys; 604 uint32_t phys_high = (uint32_t)(sizeof(phys) > 4 ? phys >> 32 : 0); 663 static void set_rx_ring(e1000_dev_t *dev, uint64_t phys) argument 665 uint32_t phys_low = (uint32_t)phys; 666 uint32_t phys_high = (uint32_t)(sizeof(phys) > 4 ? phys >> 32 : 0); 751 if (!rx_ring.phys) { 757 if (!tx_ring.phys) { 860 raw_tx(struct eth_driver *driver, unsigned int num, uintptr_t *phys, unsigned int *len, void *cookie) argument 909 uintptr_t phys = driver->i_cb.allocate_rx_buf ? driver->i_cb.allocate_rx_buf(driver->cb_cookie, BUF_SIZE, &cookie) : 0; local [all...] |
H A D | virtio_pci.c | 139 if (!rx_ring.phys) { 145 dev->rx_ring_phys = rx_ring.phys; 147 if (!tx_ring.phys) { 154 dev->tx_ring_phys = tx_ring.phys; 252 uintptr_t phys = driver->i_cb.allocate_rx_buf(driver->cb_cookie, BUF_SIZE, &cookie); local 253 if (!phys) { 265 .addr = phys, 299 static int raw_tx(struct eth_driver *driver, unsigned int num, uintptr_t *phys, unsigned int *len, void *cookie) { argument 321 .addr = phys[i], 386 dev->virtio_net_hdr_phys = packet.phys; [all...] |
/seL4-camkes-master/projects/global-components/remote-drivers/picotcp-ethernet-async/ |
H A D | server.c | 82 uintptr_t phys = ps_dma_pin(&state->io_ops->dma_manager, DECODE_DMA_ADDRESS(buf), BUF_SIZE); local 84 return phys; 159 uintptr_t phys = ps_dma_pin(&state->io_ops->dma_manager, DECODE_DMA_ADDRESS(buf), BUF_SIZE); local 160 int err = state->eth_driver->i_fn.raw_tx(state->eth_driver, 1, (uintptr_t *) &phys, (unsigned int *)&len,
|
/seL4-camkes-master/tools/seL4/elfloader-tool/src/binaries/elf/ |
H A D | elf.c | 189 elf_getMemoryBounds(void *elfFile, int phys, uint64_t *min, uint64_t *max) argument 206 if (phys) { 252 elf_loadFile(void *elfFile, int phys) argument 264 if (phys) {
|
/seL4-camkes-master/kernel/src/arch/x86/32/kernel/ |
H A D | vspace.c | 208 paddr_t phys; local 217 phys = PADDR_BASE; 225 phys, /* page_base_address */ 238 phys += BIT(LARGE_PAGE_BITS); 243 assert(phys == PADDR_TOP); 259 phys += BIT(LARGE_PAGE_BITS); 268 phys += TLBBITMAP_PD_RESERVED;
|
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/zynq7000/ |
H A D | zynq7000.c | 82 if (!rx_ring.phys) { 88 dev->rx_ring_phys = rx_ring.phys; 90 if (!tx_ring.phys) { 123 dev->tx_ring_phys = tx_ring.phys; 168 uintptr_t phys = driver->i_cb.allocate_rx_buf ? driver->i_cb.allocate_rx_buf(driver->cb_cookie, BUF_SIZE, &cookie) : 0; local 169 if (!phys) { 181 dev->rx_ring[dev->rdt].addr |= (phys & ZYNQ_GEM_RXBUF_ADD_MASK); 319 static int raw_tx(struct eth_driver *driver, unsigned int num, uintptr_t *phys, unsigned int *len, void *cookie) argument 339 dev->tx_ring[ring].addr = phys[i];
|
/seL4-camkes-master/tools/seL4/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-camkes-master/tools/cogent/impl/fs/vfat/cogent/plat/linux/ |
H A D | cache.c | 309 int fat_bmap(struct inode *inode, sector_t sector, sector_t *phys, argument 319 *phys = 0; 323 *phys = sector + sbi->dir_start; 350 *phys = fat_clus_to_blknr(sbi, cluster) + offset;
|
/seL4-camkes-master/kernel/src/arch/x86/64/ |
H A D | head.S | 31 .section .phys.text 295 /* Leave phys code behind and jump to the high kernel virtual address. */ 300 .section .phys.data 321 .section .phys.bss 346 .section .phys.text 389 /* Leave phys code behind and jump to the high kernel virtual address. */
|