/barrelfish-master/kernel/include/arch/x86/ |
H A D | debug.h | 18 void debug_vaddr_identify(lvaddr_t pml4, lvaddr_t vaddr);
|
/barrelfish-master/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-master/kernel/include/ |
H A D | kernel_multiboot.h | 25 #define MBADDR_ASSTRING(vaddr) (char * NTS)TC((uintptr_t)(local_phys_to_mem(vaddr)))
|
/barrelfish-master/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-master/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-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 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-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 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-master/lib/posixcompat/ |
H A D | mprotect.c | 40 genvaddr_t vaddr = (genvaddr_t)(lvaddr_t)memptr; local 42 if (vaddr == 0 || vaddr & BASE_PAGE_SIZE) { 50 if (vend < vaddr + size) { 58 err = m->f.protect(m, v, vaddr-vbase, size, prot_to_vregion_flags(flags));
|
/barrelfish-master/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-master/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-master/usr/bench/cow/ |
H A D | vspace_cow.h | 3 void *vaddr, struct vregion *vregion);
|
/barrelfish-master/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-master/lib/barrelfish/arch/x86_64/ |
H A D | pmap.c | 262 static errval_t do_single_map(struct pmap_x86 *pmap, genvaddr_t vaddr, argument 284 err = get_pdir(pmap, vaddr, &ptable); 285 table_base = X86_64_PDIR_BASE(vaddr); 288 err = get_pdpt(pmap, vaddr, &ptable); 289 table_base = X86_64_PDPT_BASE(vaddr); 292 err = get_ptable(pmap, vaddr, &ptable); 293 table_base = X86_64_PTABLE_BASE(vaddr); 307 PRIxGENVADDR"--0x%"PRIxGENVADDR"\n", vaddr, vend); 327 page->u.frame.vaddr = vaddr; 351 do_map(struct pmap *pmap_gen, genvaddr_t vaddr, struct capref frame, size_t offset, size_t size, vregion_flags_t flags, size_t *retoff, size_t *retsize) argument 549 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 622 find_mapping(struct pmap_x86 *pmap, genvaddr_t vaddr, struct find_mapping_info *info) argument 672 do_single_unmap(struct pmap_x86 *pmap, genvaddr_t vaddr, size_t pte_count) argument 721 unmap(struct pmap *pmap, genvaddr_t vaddr, size_t size, size_t *retsize) argument 813 do_single_modify_flags(struct pmap_x86 *pmap, genvaddr_t vaddr, size_t pages, vregion_flags_t flags) argument 877 modify_flags(struct pmap *pmap, genvaddr_t vaddr, size_t size, vregion_flags_t flags, size_t *retsize) argument 972 lookup(struct pmap *pmap, genvaddr_t vaddr, struct pmap_mapping_info *info) argument 1103 create_pts_pinned(struct pmap *pmap, genvaddr_t vaddr, size_t bytes, vregion_flags_t flags) argument 1205 get_leaf_pt(struct pmap *pmap, genvaddr_t vaddr, lvaddr_t *ret_va) argument [all...] |
/barrelfish-master/lib/barrelfish/arch/aarch64/ |
H A D | pmap.c | 209 genvaddr_t vaddr, 218 if ((pl1 = pmap_find_vnode(root, VMSAv8_64_L0_BASE(vaddr))) == NULL) { 220 VMSAv8_64_L0_BASE(vaddr), &pl1); 227 if ((pl2 = pmap_find_vnode(pl1, VMSAv8_64_L1_BASE(vaddr))) == NULL) { 229 VMSAv8_64_L1_BASE(vaddr), &pl2); 236 if ((pl3 = pmap_find_vnode(pl2, VMSAv8_64_L2_BASE(vaddr))) == NULL) { 238 VMSAv8_64_L2_BASE(vaddr), &pl3); 250 genvaddr_t vaddr) 257 if((pl1 = pmap_find_vnode(root, VMSAv8_64_L0_BASE(vaddr))) == NULL) { 262 if((pl2 = pmap_find_vnode(pl1, VMSAv8_64_L1_BASE(vaddr))) 208 get_ptable(struct pmap_aarch64 *pmap, genvaddr_t vaddr, struct vnode **ptable) argument 249 find_ptable(struct pmap_aarch64 *pmap, genvaddr_t vaddr) argument 270 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 317 do_map(struct pmap *pmap_gen, genvaddr_t vaddr, struct capref frame, size_t offset, size_t size, vregion_flags_t flags, size_t *retoff, size_t *retsize) argument 422 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 448 do_single_unmap(struct pmap_aarch64 *pmap, genvaddr_t vaddr, size_t pte_count) argument 493 unmap(struct pmap *pmap, genvaddr_t vaddr, size_t size, size_t *retsize) argument 564 genvaddr_t vaddr; local 614 do_single_modify_flags(struct pmap_aarch64 *pmap, genvaddr_t vaddr, size_t pages, vregion_flags_t flags) argument 655 modify_flags(struct pmap *pmap, genvaddr_t vaddr, size_t size, vregion_flags_t flags, size_t *retsize) argument 722 lookup(struct pmap *pmap, genvaddr_t vaddr, struct pmap_mapping_info *info) argument [all...] |
/barrelfish-master/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-master/include/barrelfish/ |
H A D | pmap.h | 30 size_t alignment, genvaddr_t *vaddr); 32 size_t alignment, genvaddr_t *vaddr); 33 errval_t (*map)(struct pmap* pmap, genvaddr_t vaddr, struct capref frame, 36 errval_t (*unmap)(struct pmap* pmap, genvaddr_t vaddr, size_t size, 38 errval_t (*modify_flags)(struct pmap* pmap, genvaddr_t vaddr, size_t size, 40 errval_t (*lookup)(struct pmap *pmap, genvaddr_t vaddr, struct pmap_mapping_info *info); 42 errval_t (*create_pts_pinned)(struct pmap *pmap, genvaddr_t vaddr, size_t bytes, 46 errval_t (*get_leaf_pt)(struct pmap *pmap, genvaddr_t vaddr, lvaddr_t *va); 63 genvaddr_t vaddr; ///< The page-aligned virtual address member in struct:pmap_mapping_info
|
/barrelfish-master/lib/barrelfish/arch/arm/ |
H A D | pmap.c | 370 genvaddr_t vaddr, 376 uintptr_t idx = ARM_L1_OFFSET(vaddr); 412 genvaddr_t vaddr) 416 uintptr_t idx = ARM_L1_OFFSET(vaddr); 420 static errval_t do_single_map(struct pmap_arm *pmap, genvaddr_t vaddr, genvaddr_t vend, argument 437 (vaddr & LARGE_PAGE_MASK) == 0 && 444 entry = ARM_L1_OFFSET(vaddr); 451 debug_printf("%s: 4k path: mapping %"PRIxGENVADDR", %zu entries\n", __FUNCTION__, vaddr, pte_count); 452 debug_printf("4k path: L1 entry: %zu\n", ARM_L1_OFFSET(vaddr)); 459 err = get_ptable(pmap, vaddr, 369 get_ptable(struct pmap_arm *pmap, genvaddr_t vaddr, struct vnode **ptable) argument 411 find_ptable(struct pmap_arm *pmap, genvaddr_t vaddr) argument 521 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 740 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 812 do_single_unmap(struct pmap_arm *pmap, genvaddr_t vaddr, size_t pte_count) argument 897 unmap(struct pmap *pmap, genvaddr_t vaddr, size_t size, size_t *retsize) argument 977 determine_addr(struct pmap *pmap, struct memobj *memobj, size_t alignment, genvaddr_t *vaddr) argument 1071 do_single_modify_flags(struct pmap_arm *pmap, genvaddr_t vaddr, size_t pages, vregion_flags_t flags) argument 1112 modify_flags(struct pmap *pmap, genvaddr_t vaddr, size_t size, vregion_flags_t flags, size_t *retsize) argument 1180 lookup(struct pmap *pmap, genvaddr_t vaddr, struct pmap_mapping_info *info) argument [all...] |
/barrelfish-master/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-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/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-master/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-master/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
|