/barrelfish-2018-10-04/kernel/include/arch/x86/ |
H A D | debug.h | 18 void debug_vaddr_identify(lvaddr_t pml4, lvaddr_t vaddr);
|
/barrelfish-2018-10-04/kernel/arch/x86_32/ |
H A D | paging.c | 144 lvaddr_t vaddr, vbase = local_phys_to_mem(base); local 161 for(vaddr = vbase, addr = base;; 162 vaddr += X86_32_MEM_PAGE_SIZE, addr += X86_32_MEM_PAGE_SIZE) { 164 union x86_32_pdpte_entry *pdpte_base = &pdpte[X86_32_PDPTE_BASE(vaddr)]; 166 &mem_pdir[X86_32_PDPTE_BASE(addr)][X86_32_PDIR_BASE(vaddr)]; 168 union x86_32_pdir_entry *pdir_base = (union x86_32_pdir_entry*) &pdir[X86_32_PDIR_BASE(vaddr)]; 171 &mem_ptable[X86_32_PDIR_BASE(addr)][X86_32_PTABLE_BASE(vaddr)]; 176 if(vaddr >= vbase + size) { 182 debug(SUBSYS_PAGING, "Mapping 2M page: vaddr = 0x%"PRIxLVADDR", addr = 0x%"PRIxLVADDR", " 183 "PDPTE_BASE = %"PRIuLPADDR", PDIR_BASE = %"PRIuLPADDR" -- ", vaddr, 217 lvaddr_t vaddr; local [all...] |
H A D | debug.c | 30 void debug_vaddr_identify(lvaddr_t debug_pdpte, lvaddr_t vaddr) argument
|
H A D | startup_arch.c | 106 lvaddr_t vaddr; local 112 for(vaddr = vbase; vaddr < vbase + size; 113 vaddr += BASE_PAGE_SIZE, base += BASE_PAGE_SIZE) { 116 + X86_32_PDPTE_BASE(vaddr) * X86_32_PTABLE_SIZE * X86_32_PTABLE_SIZE 117 + X86_32_PDIR_BASE(vaddr) * X86_32_PTABLE_SIZE 118 + X86_32_PTABLE_BASE(vaddr)]; 120 debug(SUBSYS_PAGING, "Mapping 4K page: vaddr = 0x%"PRIxLVADDR 122 "PTABLE_BASE = %lu -- ", vaddr, base, X86_32_PDPTE_BASE(vaddr), [all...] |
/barrelfish-2018-10-04/kernel/include/ |
H A D | kernel_multiboot.h | 25 #define MBADDR_ASSTRING(vaddr) (char * NTS)TC((uintptr_t)(local_phys_to_mem(vaddr)))
|
/barrelfish-2018-10-04/include/barrelfish/ |
H A D | pmap.h | 23 size_t alignment, genvaddr_t *vaddr); 25 size_t alignment, genvaddr_t *vaddr); 26 errval_t (*map)(struct pmap* pmap, genvaddr_t vaddr, struct capref frame, 29 errval_t (*unmap)(struct pmap* pmap, genvaddr_t vaddr, size_t size, 31 errval_t (*modify_flags)(struct pmap* pmap, genvaddr_t vaddr, size_t size, 33 errval_t (*lookup)(struct pmap *pmap, genvaddr_t vaddr, struct pmap_mapping_info *info); 48 genvaddr_t vaddr; ///< The page-aligned virtual address member in struct:pmap_mapping_info
|
/barrelfish-2018-10-04/lib/devif/backends/net/mlx4/include/linux/ |
H A D | dmapool.h | 71 void *vaddr; local 73 vaddr = uma_zalloc(pool->pool_zone, mem_flags); 74 if (vaddr) 75 *handle = vtophys(vaddr); 76 return (vaddr); 80 dma_pool_free(struct dma_pool *pool, void *vaddr, dma_addr_t addr) argument 82 uma_zfree(pool->pool_zone, vaddr);
|
/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 74 __asm__ __volatile__("invlpg %0" : : "m" (*(char *)vaddr)); 77 static inline void do_selective_tlb_flush(genvaddr_t vaddr, genvaddr_t vend) argument 79 for (genvaddr_t addr = vaddr; addr < vend; addr += X86_64_BASE_PAGE_SIZE) {
|
/barrelfish-2018-10-04/lib/blk/blk_ahci/ |
H A D | ahci_init.c | 10 assert(ad->bar5->vaddr != NULL); 11 return (lvaddr_t)ad->bar5->vaddr; 28 ahci_hba_initialize(&ad->controller, (void *)(bar5->vaddr)); 29 BLK_DEBUG("Accessing conf regs starting at %p\n", (void *)(bar5->vaddr));
|
/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 99 assert(vaddr < ((genvaddr_t)1)<<32); 101 uint32_t vaddr32 = (uint32_t)vaddr; 109 static inline void do_one_tlb_flush(genvaddr_t vaddr) 111 assert(vaddr < ((genvaddr_t)1)<<32); 112 uint32_t addr = (uint32_t)vaddr;
|
/barrelfish-2018-10-04/include/ahci/ |
H A D | ahci_dma_pool.h | 15 void *vaddr; member in struct:ahci_dma_region 27 void *dest = (char *)region->vaddr + offset; 31 void *src_ = (char *)region->vaddr + offset;
|
/barrelfish-2018-10-04/lib/pager/ |
H A D | pager.c | 7 static bool is_in_pmap(genvaddr_t vaddr) argument 11 errval_t err = pmap->f.lookup(pmap, vaddr, NULL); 34 genvaddr_t vaddr = vspace_lvaddr_to_genvaddr((lvaddr_t)addr); local 35 if (vaddr > VSPACE_BEGIN) { 36 if (is_in_pmap(vaddr)) { 46 err = pmap->f.map(pmap, vaddr, frame, 0, 4096,
|
/barrelfish-2018-10-04/kernel/arch/x86_64/ |
H A D | paging.c | 107 lvaddr_t vaddr, vbase = local_phys_to_mem(base); local 124 for(vaddr = vbase, addr = base; vaddr < vbase + size; 125 vaddr += X86_64_MEM_PAGE_SIZE, addr += X86_64_MEM_PAGE_SIZE) { 127 &pml4[X86_64_PML4_BASE(vaddr)], 128 *pdpt_base = &mem_pdpt[X86_64_PML4_BASE(addr)][X86_64_PDPT_BASE(vaddr)]; 130 &mem_pdir[X86_64_PML4_BASE(addr)][X86_64_PDPT_BASE(addr)][X86_64_PDIR_BASE(vaddr)]; 132 debug(SUBSYS_PAGING, "Mapping 2M page: vaddr = 0x%"PRIxLVADDR"x, addr = 0x%lx, " 133 "PML4_BASE = %lu, PDPT_BASE = %lu, PDIR_BASE = %lu -- ", vaddr, 134 addr, X86_64_PML4_BASE(vaddr), X86_64_PDPT_BAS [all...] |
/barrelfish-2018-10-04/lib/barrelfish/arch/x86_32/ |
H A D | pmap.c | 151 static errval_t do_single_map(struct pmap_x86 *pmap, genvaddr_t vaddr, argument 156 //printf("[do_single_map] vaddr = 0x%"PRIxGENVADDR"\n", vaddr); 167 err = get_pdir(pmap, vaddr, &ptable); 168 base = X86_32_PDIR_BASE(vaddr); 171 err = get_ptable(pmap, vaddr, &ptable); 172 base = X86_32_PTABLE_BASE(vaddr); 183 PRIxGENVADDR"--0x%"PRIxGENVADDR"\n", vaddr, vend); 221 static errval_t do_map(struct pmap_x86 *pmap, genvaddr_t vaddr, argument 225 //printf("[do_map] vaddr 409 map(struct pmap *pmap, genvaddr_t vaddr, struct capref frame, size_t offset, size_t size, vregion_flags_t flags, size_t *retoff, size_t *retsize) argument 468 find_mapping(struct pmap_x86 *pmap, genvaddr_t vaddr, struct vnode **outpt, struct vnode **outpage) argument 496 do_single_unmap(struct pmap_x86 *pmap, genvaddr_t vaddr, size_t pte_count) argument 551 unmap(struct pmap *pmap, genvaddr_t vaddr, size_t size, size_t *retsize) argument 629 do_single_modify_flags(struct pmap_x86 *pmap, genvaddr_t vaddr, size_t pages, vregion_flags_t flags) argument 682 modify_flags(struct pmap *pmap, genvaddr_t vaddr, size_t size, vregion_flags_t flags, size_t *retsize) argument 771 lookup(struct pmap *pmap, genvaddr_t vaddr, genvaddr_t *retvaddr, size_t *retsize, struct capref *retcap, genvaddr_t *retoffset, vregion_flags_t *retflags) argument [all...] |
/barrelfish-2018-10-04/lib/barrelfish/arch/aarch64/ |
H A D | pmap.c | 267 genvaddr_t vaddr, 276 if ((pl1 = find_vnode(root, VMSAv8_64_L0_BASE(vaddr))) == NULL) { 278 VMSAv8_64_L0_BASE(vaddr), &pl1); 285 if ((pl2 = find_vnode(pl1, VMSAv8_64_L1_BASE(vaddr))) == NULL) { 287 VMSAv8_64_L1_BASE(vaddr), &pl2); 294 if ((pl3 = find_vnode(pl2, VMSAv8_64_L2_BASE(vaddr))) == NULL) { 296 VMSAv8_64_L2_BASE(vaddr), &pl3); 308 genvaddr_t vaddr) 315 if((pl1 = find_vnode(root, VMSAv8_64_L0_BASE(vaddr))) == NULL) { 320 if((pl2 = find_vnode(pl1, VMSAv8_64_L1_BASE(vaddr))) 266 get_ptable(struct pmap_aarch64 *pmap, genvaddr_t vaddr, struct vnode **ptable) argument 307 find_ptable(struct pmap_aarch64 *pmap, genvaddr_t vaddr) argument 328 do_single_map(struct pmap_aarch64 *pmap, genvaddr_t vaddr, genvaddr_t vend, struct capref frame, size_t offset, size_t pte_count, vregion_flags_t flags) argument 375 do_map(struct pmap_aarch64 *pmap, genvaddr_t vaddr, struct capref frame, size_t offset, size_t size, vregion_flags_t flags, size_t *retoff, size_t *retsize) argument 554 map(struct pmap *pmap, genvaddr_t vaddr, struct capref frame, size_t offset, size_t size, vregion_flags_t flags, size_t *retoff, size_t *retsize) argument 595 do_single_unmap(struct pmap_aarch64 *pmap, genvaddr_t vaddr, size_t pte_count) argument 637 unmap(struct pmap *pmap, genvaddr_t vaddr, size_t size, size_t *retsize) argument 701 determine_addr(struct pmap *pmap, struct memobj *memobj, size_t alignment, genvaddr_t *vaddr) argument 728 do_single_modify_flags(struct pmap_aarch64 *pmap, genvaddr_t vaddr, size_t pages, vregion_flags_t flags) argument 768 modify_flags(struct pmap *pmap, genvaddr_t vaddr, size_t size, vregion_flags_t flags, size_t *retsize) argument 835 lookup(struct pmap *pmap, genvaddr_t vaddr, struct pmap_mapping_info *info) argument [all...] |
/barrelfish-2018-10-04/lib/barrelfish/arch/x86_64/ |
H A D | pmap.c | 243 static errval_t do_single_map(struct pmap_x86 *pmap, genvaddr_t vaddr, argument 265 err = get_pdir(pmap, vaddr, &ptable); 266 table_base = X86_64_PDIR_BASE(vaddr); 269 err = get_pdpt(pmap, vaddr, &ptable); 270 table_base = X86_64_PDPT_BASE(vaddr); 273 err = get_ptable(pmap, vaddr, &ptable); 274 table_base = X86_64_PTABLE_BASE(vaddr); 285 PRIxGENVADDR"--0x%"PRIxGENVADDR"\n", vaddr, vend); 326 static errval_t do_map(struct pmap_x86 *pmap, genvaddr_t vaddr, argument 334 size_t table_base = X86_64_PTABLE_BASE(vaddr); 575 map(struct pmap *pmap, genvaddr_t vaddr, struct capref frame, size_t offset, size_t size, vregion_flags_t flags, size_t *retoff, size_t *retsize) argument 661 find_mapping(struct pmap_x86 *pmap, genvaddr_t vaddr, struct find_mapping_info *info) argument 711 do_single_unmap(struct pmap_x86 *pmap, genvaddr_t vaddr, size_t pte_count) argument 755 unmap(struct pmap *pmap, genvaddr_t vaddr, size_t size, size_t *retsize) argument 838 do_single_modify_flags(struct pmap_x86 *pmap, genvaddr_t vaddr, size_t pages, vregion_flags_t flags) argument 887 modify_flags(struct pmap *pmap, genvaddr_t vaddr, size_t size, vregion_flags_t flags, size_t *retsize) argument 970 lookup(struct pmap *pmap, genvaddr_t vaddr, struct pmap_mapping_info *info) argument [all...] |
/barrelfish-2018-10-04/lib/barrelfish/arch/arm/ |
H A D | pmap.c | 347 genvaddr_t vaddr, 353 uintptr_t idx = ARM_L1_OFFSET(vaddr); 389 genvaddr_t vaddr) 393 uintptr_t idx = ARM_L1_OFFSET(vaddr); 397 static errval_t do_single_map(struct pmap_arm *pmap, genvaddr_t vaddr, genvaddr_t vend, argument 414 (vaddr & LARGE_PAGE_MASK) == 0 && 421 entry = ARM_L1_OFFSET(vaddr); 428 debug_printf("%s: 4k path: mapping %"PRIxGENVADDR", %zu entries\n", __FUNCTION__, vaddr, pte_count); 429 debug_printf("4k path: L1 entry: %zu\n", ARM_L1_OFFSET(vaddr)); 436 err = get_ptable(pmap, vaddr, 346 get_ptable(struct pmap_arm *pmap, genvaddr_t vaddr, struct vnode **ptable) argument 388 find_ptable(struct pmap_arm *pmap, genvaddr_t vaddr) argument 505 do_map(struct pmap_arm *pmap, genvaddr_t vaddr, struct capref frame, size_t offset, size_t size, vregion_flags_t flags, size_t *retoff, size_t *retsize) argument 725 map(struct pmap *pmap, genvaddr_t vaddr, struct capref frame, size_t offset, size_t size, vregion_flags_t flags, size_t *retoff, size_t *retsize) argument 797 do_single_unmap(struct pmap_arm *pmap, genvaddr_t vaddr, size_t pte_count) argument 878 unmap(struct pmap *pmap, genvaddr_t vaddr, size_t size, size_t *retsize) argument 958 determine_addr(struct pmap *pmap, struct memobj *memobj, size_t alignment, genvaddr_t *vaddr) argument 1052 do_single_modify_flags(struct pmap_arm *pmap, genvaddr_t vaddr, size_t pages, vregion_flags_t flags) argument 1093 modify_flags(struct pmap *pmap, genvaddr_t vaddr, size_t size, vregion_flags_t flags, size_t *retsize) argument 1161 lookup(struct pmap *pmap, genvaddr_t vaddr, struct pmap_mapping_info *info) argument [all...] |
/barrelfish-2018-10-04/kernel/ |
H A D | paging_generic.c | 135 genvaddr_t vaddr = 0; local 136 // shift at least by BASE_PAGE_BITS for first vaddr part 179 vaddr = ((genvaddr_t)(entry & mask)) << shift; 189 // no mapping found, cannot reconstruct vaddr 206 // shift new part of vaddr by old shiftwidth + #entries of old ptable 210 vaddr |= ((offset & mask) << shift); 214 *retvaddr = vaddr; 224 genvaddr_t vaddr = 0; local 268 err = compile_vaddr(pgtable, slot, &vaddr); 297 do_one_tlb_flush(vaddr); 318 genvaddr_t vaddr; local 363 genvaddr_t vaddr; local [all...] |
/barrelfish-2018-10-04/kernel/include/arch/armv8/ |
H A D | paging_kernel_arch.h | 147 void paging_map_table_l0(union armv8_ttable_entry *table_addr, lvaddr_t vaddr, lpaddr_t paddr); 149 void paging_map_table_l1(union armv8_ttable_entry *table_addr, lvaddr_t vaddr, lpaddr_t paddr); 151 void paging_map_table_l2(union armv8_ttable_entry *table_addr, lvaddr_t vaddr, lpaddr_t paddr); 153 void paging_map_block_l1(union armv8_ttable_entry *table_addr, lvaddr_t vaddr, lpaddr_t paddr, uintptr_t flags); 155 void paging_map_block_l2(union armv8_ttable_entry *table_addr, lvaddr_t vaddr, lpaddr_t paddr, uintptr_t flags); 157 void paging_map_page_l3(union armv8_ttable_entry *table_addr, lvaddr_t vaddr, lpaddr_t paddr, uintptr_t flags); 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/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/lib/blk/dma_mem/ |
H A D | dma_mem.c | 41 mem->vaddr = (lvaddr_t)addr; 88 mem->vaddr = (lvaddr_t)addr; 103 if (mem->vaddr) { 104 err = vspace_unmap((void*)mem->vaddr);
|
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/usr/tests/nkm/ |
H A D | nkmtest.c | 68 void *vaddr; local 70 err = vspace_map_one_frame(&vaddr, BASE_PAGE_SIZE, frame, &memobj, &vr); 74 char *memory = vaddr; 75 DEBUG_MAP_UNMAP("vaddr = %p\n", vaddr);
|
/barrelfish-2018-10-04/lib/dma/ |
H A D | dma_mem_utils.c | 59 mem->vaddr = (lvaddr_t)addr; 74 if (mem->vaddr) { 75 err = vspace_unmap((void*)mem->vaddr);
|
/barrelfish-2018-10-04/kernel/include/arch/armv7/ |
H A D | paging_kernel_arch.h | 49 void paging_map_user_pages_l1(lvaddr_t table_addr, lvaddr_t vaddr, lpaddr_t paddr); 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
|