| /seL4-refos-master/projects/util_libs/libethdrivers/include/ethdrivers/ |
| H A D | helpers.h | 20 uintptr_t phys; member in struct:dma_addr
|
| /seL4-refos-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-refos-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-refos-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-refos-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-refos-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-refos-master/seL4_tools/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-refos-master/tools/elfloader/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-refos-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-refos-master/kernel/src/arch/x86/32/kernel/ |
| H A D | vspace.c | 208 paddr_t phys; local
|
| /seL4-refos-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-refos-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-refos-master/kernel/src/arch/x86/kernel/ |
| H A D | vspace.c | 131 paddr_t phys; local
[all...] |
| /seL4-refos-master/kernel/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 199 paddr_t phys; local
315 paddr_t phys; local
[all...] |