/barrelfish-2018-10-04/kernel/include/ |
H A D | paging_kernel_helper.h | 21 * \param vbase Virtual base address of mapping. 26 static inline void paging_align(lvaddr_t *vbase, lpaddr_t *base, size_t *size, argument 34 // Align vbase to page size 35 if(*vbase & pagemask) { 36 *size += *vbase & pagemask; 37 *vbase -= *vbase & pagemask;
|
/barrelfish-2018-10-04/lib/dma/ioat/ |
H A D | ioat_dma_descriptors.c | 41 uint8_t *vbase = dma_desc_get_desc_handle(desc); local 42 ioat_dma_desc_size_insert(vbase, size); 43 ioat_dma_desc_ctrl_insert(vbase, *((uint32_t *) ctrl)); 45 ioat_dma_desc_src_insert(vbase, src); 46 ioat_dma_desc_dst_insert(vbase, dst); 67 uint8_t *vbase = dma_desc_get_desc_handle(desc); local 68 ioat_dma_desc_size_insert(vbase, size); 70 ioat_dma_desc_ctrl_insert(vbase, *((uint32_t *) ctrl)); 71 ioat_dma_desc_src_insert(vbase, data); 72 ioat_dma_desc_dst_insert(vbase, ds 83 uint8_t *vbase = dma_desc_get_desc_handle(desc); local [all...] |
/barrelfish-2018-10-04/usr/tests/nkm/ |
H A D | modify_flags.c | 23 static void *vbase = NULL, *vend = NULL; variable 41 assert(addr >= vbase && addr < vend); 44 genvaddr_t offset = (genvaddr_t)(lvaddr_t)addr - (genvaddr_t)(lvaddr_t)vbase; 58 err = vspace_map_anon_attr(&vbase, &memobj, &vregion, retsize, &retsize, 65 assert(vbase); 66 vend = (unsigned char *)vbase + retsize; 67 unsigned char *base = vbase;
|
/barrelfish-2018-10-04/kernel/arch/x86_32/ |
H A D | paging.c | 144 lvaddr_t vaddr, vbase = local_phys_to_mem(base); local 147 paging_align(&vbase, &base, &size, X86_32_MEM_PAGE_SIZE); 158 assert(local_phys_to_gen_phys(vbase + size) <= X86_32_VADDR_SPACE_SIZE); 161 for(vaddr = vbase, addr = base;; 175 if(vbase + size != 0) { 176 if(vaddr >= vbase + size) { 201 if(vbase + size == 0) { 215 static lvaddr_t vbase = (lvaddr_t)X86_32_VADDR_SPACE_SIZE; local 219 paging_align(&vbase, &base, &size, X86_32_MEM_PAGE_SIZE); 225 if(vbase [all...] |
H A D | init.c | 241 lvaddr_t vbase = X86_32_MEMORY_OFFSET, base = 0; local 243 // Align vbase to kernel page size 244 if(vbase & X86_32_MEM_PAGE_MASK) { 245 vbase -= vbase & X86_32_MEM_PAGE_MASK; 250 base += X86_32_MEM_PAGE_SIZE, vbase += X86_32_MEM_PAGE_SIZE) { 260 paging_x86_32_map_pdpte(&boot_pdpte[X86_32_PDPTE_BASE(vbase)], 262 paging_x86_32_map_large(&boot_pdir_hi[X86_32_PDIR_BASE(vbase)], base, 272 base += X86_32_MEM_PAGE_SIZE, vbase += X86_32_MEM_PAGE_SIZE) { 281 paging_x86_32_map_large(&boot_pdir[X86_32_PDIR_BASE(vbase)], bas [all...] |
H A D | startup_arch.c | 92 * the virtual base address 'vbase' of a program segment of the init executable, 98 * \param vbase Virtual base address of program segment. 103 errval_t startup_map_init(lvaddr_t vbase, lpaddr_t base, size_t size, argument 108 paging_align(&vbase, &base, &size, BASE_PAGE_SIZE); 109 assert(vbase + size < X86_32_INIT_SPACE_LIMIT); 112 for(vaddr = vbase; vaddr < vbase + size;
|
/barrelfish-2018-10-04/usr/bench/xomp_bench/ |
H A D | share_bench.c | 218 lvaddr_t vbase = (10UL * 1024 * 1024 * 1024); local 249 err = xomp_master_add_memory(frame, vbase, XOMP_FRAME_TYPE_SHARED_RW); 254 vbase += FRAME_SIZE_0; 258 repl_err = xomp_master_add_memory(frame, vbase, XOMP_FRAME_TYPE_REPL_RW); 262 vbase += FRAME_SIZE_0; 281 vbase = (vbase + FRAME_SIZE_1) & ~(FRAME_SIZE_1 - 1); 296 err = xomp_master_add_memory(frame, vbase, XOMP_FRAME_TYPE_SHARED_RW); 300 vbase += FRAME_SIZE_1; 304 repl_err = xomp_master_add_memory(frame, vbase, XOMP_FRAME_TYPE_REPL_R [all...] |
/barrelfish-2018-10-04/kernel/arch/armv7/ |
H A D | paging_init.c | 166 lvaddr_t vbase; local 170 vbase= 0; pbase= 0; 172 map_kernel_section_lo(vbase, make_dev_section(pbase)); 173 vbase += ARM_L1_SECTION_BYTES; 177 vbase= MEMORY_OFFSET; pbase= phys_memory_start; 179 map_kernel_section_hi(vbase, make_ram_section(pbase)); 180 vbase += ARM_L1_SECTION_BYTES;
|
/barrelfish-2018-10-04/usr/drivers/omap44xx/fdif/ |
H A D | fdif.c | 53 lvaddr_t vbase; local 55 err = map_device_cap(caps[0], &vbase); // 0x4A009000, 4096 58 omap44xx_cam_cm2_initialize(&st->devclk, (mackerel_addr_t)vbase); 73 lvaddr_t vbase; local 75 err = map_device_cap(caps[2], &vbase); // 0x4A307000, 4096 78 omap44xx_cam_prm_initialize(&st->dev, (mackerel_addr_t)vbase); 255 lpaddr_t vbase; local 258 err = map_device_cap(caps[3], &vbase); 260 omap44xx_fdif_initialize(&st->devfdif, (mackerel_addr_t)vbase);
|
/barrelfish-2018-10-04/usr/drivers/xeon_phi/ |
H A D | xeon_phi_internal.h | 58 ((void *)((lvaddr_t)(phi->mmio.vbase)+XEON_PHI_HOST_SBOX_OFFSET)) 60 ((void *)((lvaddr_t)(phi->mmio.vbase)+XEON_PHI_HOST_DBOX_OFFSET)) 90 lvaddr_t vbase; ///< virtual address of the mbar if mapped member in struct:mbar
|
H A D | xeon_phi.c | 164 card->mmio.vbase = (lvaddr_t) bar_info[XEON_PHI_MMIO_BAR].vaddr; 314 if (phi->apt.vbase != 0) { 326 phi->apt.vbase = (lvaddr_t)addr; 344 if (phi->apt.vbase == 0) { 348 err = vspace_unmap((void *)phi->apt.vbase); 354 phi->apt.vbase = 0;
|
H A D | boot.c | 106 bp = (struct xeon_phi_boot_params *)(phi->apt.vbase + phi->os_offset); 108 void *buf = (void *) (phi->apt.vbase + load_offset); 280 char *buf = (void *) (phi->apt.vbase + loadoffset); 419 bp = (struct xeon_phi_boot_params *)(phi->apt.vbase + phi->os_offset); 421 struct multiboot_info *mbi = (void *)phi->apt.vbase + offset; 427 offset += prepare_multiboot_info((void *)phi->apt.vbase, offset, mods + num_mods, 431 offset += prepare_multiboot_strings((void *)phi->apt.vbase + strings_offset, 437 char *strings = (void *)phi->apt.vbase + strings_offset; 446 err = loadfn(mods[i], (void *)phi->apt.vbase + offset, args, &imgsize); 455 (char *)phi->apt.vbase [all...] |
/barrelfish-2018-10-04/kernel/arch/x86_64/ |
H A D | paging.c | 107 lvaddr_t vaddr, vbase = local_phys_to_mem(base); local 115 paging_align(&vbase, &base, &size, X86_64_MEM_PAGE_SIZE); 124 for(vaddr = vbase, addr = base; vaddr < vbase + size;
|
H A D | init.c | 227 lvaddr_t vbase = local_phys_to_mem(base); local 235 // Align vbase to kernel page size 236 if(vbase & X86_64_MEM_PAGE_MASK) { 237 vbase -= vbase & X86_64_MEM_PAGE_MASK; 250 base += X86_64_MEM_PAGE_SIZE, vbase += X86_64_MEM_PAGE_SIZE) { 261 paging_x86_64_map_table(&boot_pml4[X86_64_PML4_BASE(vbase)], (lpaddr_t)boot_pdpt_hi); 262 paging_x86_64_map_table(&boot_pdpt_hi[X86_64_PDPT_BASE(vbase)], (lpaddr_t)boot_pdir_hi); 263 paging_x86_64_map_large(&boot_pdir_hi[X86_64_PDIR_BASE(vbase)], base, PTABLE_PRESENT
|
/barrelfish-2018-10-04/lib/net/ |
H A D | networking_internal.h | 106 void *vbase; member in struct:net_buf_p 119 void *vbase; member in struct:net_buf_region
|
H A D | netbufs.c | 121 err = vspace_map_one_frame_attr(®->vbase, reg->frame.bytes, reg->framecap, 127 NETDEBUG("netbufs mapped at %p\n", reg->vbase); 144 nb->vbase = reg->vbase + offset; 235 nb->vbase, nb->region->buffer_size);
|
/barrelfish-2018-10-04/usr/drivers/serial/ |
H A D | serial_omap44xx.c | 203 lvaddr_t vbase; local 204 err = map_device_register(membase, BASE_PAGE_SIZE, &vbase); 209 assert(vbase); 213 debug_printf("omap serial_init base = 0x%"PRIxLVADDR"\n", vbase); 214 omap44xx_uart3_init(&port, vbase);
|
/barrelfish-2018-10-04/lib/libc/stdlib/ |
H A D | heapsort.c | 156 heapsort_b(void *vbase, size_t nmemb, size_t size, heapsort_block compar) argument 159 heapsort(void *vbase, size_t nmemb, size_t size, 182 base = (char *)vbase - size;
|
/barrelfish-2018-10-04/kernel/arch/k1om/ |
H A D | init.c | 242 lvaddr_t vbase = local_phys_to_mem(base); local 250 // Align vbase to kernel page size 251 if(vbase & X86_64_MEM_PAGE_MASK) { 252 vbase -= vbase & X86_64_MEM_PAGE_MASK; 265 base += X86_64_MEM_PAGE_SIZE, vbase += X86_64_MEM_PAGE_SIZE) { 276 paging_x86_64_map_table(&boot_pml4[X86_64_PML4_BASE(vbase)], (lpaddr_t)boot_pdpt_hi); 277 paging_x86_64_map_table(&boot_pdpt_hi[X86_64_PDPT_BASE(vbase)], (lpaddr_t)boot_pdir_hi); 278 paging_x86_64_map_large(&boot_pdir_hi[X86_64_PDIR_BASE(vbase)], base, PTABLE_PRESENT
|
H A D | startup_arch.c | 100 * the virtual base address 'vbase' of a program segment of the init executable, 106 * \param vbase Virtual base address of program segment. 111 errval_t startup_map_init(lvaddr_t vbase, lpaddr_t base, size_t size, argument 116 paging_align(&vbase, &base, &size, BASE_PAGE_SIZE); 118 assert(vbase + size - K1OM_INIT_VBASE < K1OM_INIT_SPACE_LIMIT); 121 for(vaddr = vbase; vaddr < vbase + size;
|
/barrelfish-2018-10-04/kernel/include/arch/x86/ |
H A D | startup_x86.h | 26 errval_t startup_map_init(lvaddr_t vbase, lpaddr_t base, size_t size,
|
/barrelfish-2018-10-04/kernel/include/arch/armv8/ |
H A D | paging_kernel_arch.h | 173 void paging_map_kernel_section(union armv8_ttable_entry *ttbase,lvaddr_t vbase, lpaddr_t pbase); 174 void paging_map_kernel_l1_block(union armv8_ttable_entry *ttbase,lvaddr_t vbase, lpaddr_t pbase);
|
/barrelfish-2018-10-04/usr/drivers/cpuboot/arch/armv7/ |
H A D | boot_arch.c | 27 void *vbase; member in struct:monitor_allocate_state 64 *retbase = (char *)s->vbase + base - s->elfbase; 207 //state.vbase = (void *)ROUND_UP(to, ARM_L1_ALIGN); 209 state.vbase = to; 232 state.elfbase, state.vbase); 300 load_cpu_relocatable_segment(void *elfdata, void *out, lvaddr_t vbase, argument 415 uint32_t relocatable_offset= vbase - phdr->p_vaddr; 419 *got_base= vbase + (got_sym->st_value - phdr->p_vaddr);
|
/barrelfish-2018-10-04/kernel/arch/x86/ |
H A D | startup_x86.c | 64 * the virtual base address 'vbase' of a program segment of the init executable, 69 * \param vbase Virtual base address of program segment. 82 lvaddr_t vbase = (lvaddr_t)gvbase; /* XXX */ local 83 lvaddr_t offset = BASE_PAGE_OFFSET(vbase); 86 paging_align(&vbase, NULL, &size, BASE_PAGE_SIZE); 89 for(lvaddr_t i = vbase; i < vbase + size; i += BASE_PAGE_SIZE) { 120 *ret = (void *)(vbase + offset);
|
/barrelfish-2018-10-04/usr/drivers/cpuboot/ |
H A D | coreboot.h | 54 void *vbase; member in struct:elf_allocate_state
|