/seL4-camkes-master/projects/util_libs/libethdrivers/include/ethdrivers/ |
H A D | helpers.h | 20 uintptr_t phys; member in struct:dma_addr
|
/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
|
/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
|
H A D | lwip.c | 262 uintptr_t phys = ps_dma_pin(&lwip_iface->dma_man, p->payload, buf_size); local 364 uintptr_t phys[max_frames]; local [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
|
/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 156 uintptr_t phys = ps_dma_pin(&net->dma_man, vaddr, BUF_SIZE); local
|
H A D | virtio_net.c | 45 static int emul_raw_tx(struct eth_driver *driver, unsigned int num, uintptr_t *phys, unsigned int *len, void *cookie) argument
|
/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
|
H A D | dir.c | 90 sector_t phys, iblock; local 52 fat_dir_readahead(struct inode *dir, sector_t iblock, sector_t phys) argument
|
H A D | inode.c | 122 sector_t phys; local
|
/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 229 static int raw_tx(struct eth_driver *driver, unsigned int num, uintptr_t *phys, unsigned int *len, void *cookie) argument
|
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/tx2/ |
H A D | tx2.c | 125 uintptr_t phys = driver->i_cb.allocate_rx_buf ? driver->i_cb.allocate_rx_buf(driver->cb_cookie, EQOS_MAX_PACKET_SIZE, local 250 static int raw_tx(struct eth_driver *driver, unsigned int num, uintptr_t *phys, argument
|
/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 159 uintptr_t phys = ps_dma_pin(&state->io_ops->dma_manager, DECODE_DMA_ADDRESS(buf), BUF_SIZE); local
|
/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 252 elf_loadFile(void *elfFile, int phys) argument
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/x86/ |
H A D | guest_boot_init.c | 41 static int make_guest_cmd_line_continued(vm_t *vm, uintptr_t phys, void *vaddr, size_t size, size_t offset, argument
|
/seL4-camkes-master/projects/camkes/apps/picotcp_single_component/src/ |
H A D | ethdriver.c | 42 uintptr_t phys; member in struct:eth_buf
|
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/pc99/ |
H A D | virtio_pci.c | 252 uintptr_t phys = driver->i_cb.allocate_rx_buf(driver->cb_cookie, BUF_SIZE, &cookie); local 299 static int raw_tx(struct eth_driver *driver, unsigned int num, uintptr_t *phys, unsigned int *len, void *cookie) { argument [all...] |
H A D | intel.c | 601 static void set_tx_ring(e1000_dev_t *dev, uintptr_t phys) argument 663 static void set_rx_ring(e1000_dev_t *dev, uint64_t phys) argument 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...] |
/seL4-camkes-master/tools/rumprun/platform/xen/xen/include/mini-os/x86/ |
H A D | mm.h | 165 static __inline__ maddr_t phys_to_machine(paddr_t phys) argument 175 paddr_t phys = mfn_to_pfn(machine >> PAGE_SHIFT); local
|
/seL4-camkes-master/projects/global-components/components/Ethdriver/src/ |
H A D | ethdriver.c | 46 uintptr_t phys; member in struct:eth_buf 221 uintptr_t phys = eth_allocate_rx_buf(iface, lens[0], &cookie); local 396 uintptr_t phys = ps_dma_pin(&io_ops->dma_manager, buf, BUF_SIZE); local 413 uintptr_t phys = ps_dma_pin(&io_ops->dma_manager, buf, BUF_SIZE); local [all...] |
/seL4-camkes-master/kernel/src/arch/x86/32/kernel/ |
H A D | vspace.c | 208 paddr_t phys; local
|
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/zynq7000/ |
H A D | zynq7000.c | 168 uintptr_t phys = driver->i_cb.allocate_rx_buf ? driver->i_cb.allocate_rx_buf(driver->cb_cookie, BUF_SIZE, &cookie) : 0; local 319 static int raw_tx(struct eth_driver *driver, unsigned int num, uintptr_t *phys, unsigned int *len, void *cookie) argument
|
/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 330 raw_tx(struct eth_driver *driver, unsigned int num, uintptr_t *phys, unsigned int *len, void *cookie) argument [all...] |
/seL4-camkes-master/kernel/src/arch/x86/kernel/ |
H A D | vspace.c | 131 paddr_t phys; local [all...] |