/barrelfish-master/lib/blk/dma_mem/ |
H A D | dma_mem.h | 18 lvaddr_t vaddr; ///< virtual address of the mapped region member in struct:dma_mem
|
/barrelfish-master/kernel/arch/x86_32/ |
H A D | debug.c | 30 void debug_vaddr_identify(lvaddr_t debug_pdpte, lvaddr_t vaddr) argument
|
H A D | paging.c | 144 lvaddr_t vaddr, vbase = local_phys_to_mem(base); local 217 lvaddr_t vaddr; local [all...] |
/barrelfish-master/kernel/include/arch/armv7/ |
H A D | paging_kernel_arch.h | 70 static inline void do_one_tlb_flush(genvaddr_t vaddr) argument 76 static inline void do_selective_tlb_flush(genvaddr_t vaddr, genvaddr_t vend) argument
|
/barrelfish-master/lib/posixcompat/ |
H A D | mprotect.c | 40 genvaddr_t vaddr = (genvaddr_t)(lvaddr_t)memptr; local
|
/barrelfish-master/usr/tests/nkm/ |
H A D | nkmtest.c | 68 void *vaddr; local
|
H A D | vnode_inherit.c | 31 static void exhandler(enum exception_type type, int subtype, void *vaddr, argument
|
/barrelfish-master/include/virtio/ |
H A D | virtio_host.h | 35 lvaddr_t vaddr; member in struct:virtio_host_buf
|
/barrelfish-master/usr/drivers/omap44xx/mmchs/ |
H A D | ctrlmod.c | 50 lvaddr_t vaddr; local
|
/barrelfish-master/include/pci/ |
H A D | mem.h | 25 void *vaddr; // assigned by the device driver when calling map_device() member in struct:device_mem
|
/barrelfish-master/include/ahci/ |
H A D | ahci_dma_pool.h | 15 void *vaddr; member in struct:ahci_dma_region
|
/barrelfish-master/lib/devif/backends/net/mlx4/include/linux/ |
H A D | dmapool.h | 71 void *vaddr; local 80 dma_pool_free(struct dma_pool *pool, void *vaddr, dma_addr_t addr) argument
|
/barrelfish-master/kernel/include/arch/x86_32/ |
H A D | paging_kernel_arch.h | 97 static inline void do_selective_tlb_flush(genvaddr_t vaddr, genvaddr_t vend) argument
|
/barrelfish-master/include/target/x86/barrelfish/ |
H A D | pmap_target.h | 41 lvaddr_t vaddr; ///< The virtual address this frame has member in struct:vnode::__anon60::__anon62
|
/barrelfish-master/kernel/include/arch/x86_64/ |
H A D | paging_kernel_arch.h | 72 static inline void do_one_tlb_flush(genvaddr_t vaddr) argument 77 static inline void do_selective_tlb_flush(genvaddr_t vaddr, genvaddr_t vend) argument
|
/barrelfish-master/include/dma/ |
H A D | dma.h | 66 lvaddr_t vaddr; ///< virtual address of the mapped region member in struct:dma_mem
|
/barrelfish-master/kernel/arch/x86_64/ |
H A D | paging.c | 107 lvaddr_t vaddr, vbase = local_phys_to_mem(base); local [all...] |
H A D | debug.c | 33 void debug_vaddr_identify(lvaddr_t debug_pml4, lvaddr_t vaddr) argument
|
/barrelfish-master/lib/libc/sys/ |
H A D | barrelfish_mmap.c | 106 genvaddr_t vaddr = (genvaddr_t)(lvaddr_t) addr; local 191 genvaddr_t vaddr = (genvaddr_t)addr; local
|
/barrelfish-master/lib/pager/ |
H A D | pager.c | 7 static bool is_in_pmap(genvaddr_t vaddr) argument 34 genvaddr_t vaddr = vspace_lvaddr_to_genvaddr((lvaddr_t)addr); local
|
/barrelfish-master/lib/virtio/ |
H A D | vbuffer.c | 105 lvaddr_t vaddr = (lvaddr_t)buf; local 142 virtio_buffer_alloc_init_vq(struct virtio_buffer_allocator **bf, struct capref cap, lvaddr_t vaddr, lpaddr_t offset, size_t bufsize, size_t bufcount) argument 290 virtio_buffer_alloc_get_range(struct virtio_buffer_allocator *alloc, lvaddr_t *vaddr, size_t *size) argument [all...] |
/barrelfish-master/kernel/include/arch/armv8/ |
H A D | paging_kernel_arch.h | 186 static inline void do_one_tlb_flush(genvaddr_t vaddr) argument 192 static inline void do_selective_tlb_flush(genvaddr_t vaddr, genvaddr_t vend) argument
|
/barrelfish-master/kernel/ |
H A D | paging_generic.c | 126 genvaddr_t vaddr = 0; local 216 genvaddr_t vaddr = 0; local 315 genvaddr_t vaddr; local 366 genvaddr_t vaddr; local [all...] |
/barrelfish-master/include/barrelfish/ |
H A D | pmap.h | 63 genvaddr_t vaddr; ///< The page-aligned virtual address member in struct:pmap_mapping_info
|
/barrelfish-master/usr/drivers/enet/ |
H A D | enet_devq.c | 214 lvaddr_t vaddr = 0; local 322 lvaddr_t vaddr; local 413 lvaddr_t vaddr; local [all...] |