/barrelfish-2018-10-04/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-2018-10-04/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...] |
H A D | startup_arch.c | 106 lvaddr_t vaddr; local [all...] |
/barrelfish-2018-10-04/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-2018-10-04/usr/tests/nkm/ |
H A D | nkmtest.c | 68 void *vaddr; local
|
/barrelfish-2018-10-04/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-2018-10-04/include/virtio/ |
H A D | virtio_host.h | 35 lvaddr_t vaddr; member in struct:virtio_host_buf
|
/barrelfish-2018-10-04/usr/drivers/omap44xx/mmchs/ |
H A D | ctrlmod.c | 50 lvaddr_t vaddr; local
|
/barrelfish-2018-10-04/include/ahci/ |
H A D | ahci_dma_pool.h | 15 void *vaddr; member in struct:ahci_dma_region
|
/barrelfish-2018-10-04/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-2018-10-04/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-2018-10-04/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-2018-10-04/kernel/arch/x86_64/ |
H A D | debug.c | 33 void debug_vaddr_identify(lvaddr_t debug_pml4, lvaddr_t vaddr) argument
|
H A D | paging.c | 107 lvaddr_t vaddr, vbase = local_phys_to_mem(base); local [all...] |
H A D | startup_arch.c | 111 lvaddr_t vaddr; local [all...] |
/barrelfish-2018-10-04/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-2018-10-04/include/barrelfish/ |
H A D | pmap.h | 48 genvaddr_t vaddr; ///< The page-aligned virtual address member in struct:pmap_mapping_info
|
/barrelfish-2018-10-04/include/dma/ |
H A D | dma.h | 66 lvaddr_t vaddr; ///< virtual address of the mapped region member in struct:dma_mem
|
/barrelfish-2018-10-04/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-2018-10-04/kernel/ |
H A D | paging_generic.c | 135 genvaddr_t vaddr = 0; local 224 genvaddr_t vaddr = 0; local 318 genvaddr_t vaddr; local 363 genvaddr_t vaddr; local [all...] |
/barrelfish-2018-10-04/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-2018-10-04/usr/drivers/lo/ |
H A D | lo_qdriver.c | 143 static errval_t register_rx_buffer_fn(uint64_t paddr, void *vaddr, argument
|
/barrelfish-2018-10-04/usr/vmkitmon/ |
H A D | pci.h | 52 void *vaddr; // assigned by the device driver when calling map_device() member in struct:bar_info
|
/barrelfish-2018-10-04/usr/acpi/arch/x86/ |
H A D | acpi_interrupts_arch.c | 110 lvaddr_t vaddr; local
|