Searched refs:phys (Results 1 - 25 of 34) sorted by relevance

12

/seL4-camkes-master/kernel/include/arch/x86/arch/32/mode/kernel/
H A Dvspace.h12 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 Dhelpers.c22 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 Dlwip.c43 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 Dvspace.h17 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 Dhelpers.h20 uintptr_t phys; member in struct:dma_addr
H A Draw.h30 * @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 Dvirtio_emul_helpers.c12 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 Dvirtio_net_emul.c36 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 Dwraphead.h49 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 Dmm.h77 /* 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 Dethdriver.c42 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 Dethdriver.c46 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 Dimx6.c46 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 Dbeaglebone.c51 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 Dtx2.c58 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 Delf.h223 * @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 Dintel.c601 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 Dvirtio_pci.c139 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 Dserver.c82 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 Delf.c189 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 Dvspace.c208 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 Dzynq7000.c82 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 Dboot.c47 #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 Dcache.c309 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 Dhead.S31 .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. */

Completed in 311 milliseconds

12