Searched refs:vbase (Results 1 - 25 of 41) sorted by relevance

12

/barrelfish-2018-10-04/kernel/include/
H A Dpaging_kernel_helper.h21 * \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 Dioat_dma_descriptors.c41 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 Dmodify_flags.c23 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 Dpaging.c144 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 Dinit.c241 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 Dstartup_arch.c92 * 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 Dshare_bench.c218 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 Dpaging_init.c166 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 Dfdif.c53 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 Dxeon_phi_internal.h58 ((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 Dxeon_phi.c164 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 Dboot.c106 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 Dpaging.c107 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 Dinit.c227 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 Dnetworking_internal.h106 void *vbase; member in struct:net_buf_p
119 void *vbase; member in struct:net_buf_region
H A Dnetbufs.c121 err = vspace_map_one_frame_attr(&reg->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 Dserial_omap44xx.c203 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 Dheapsort.c156 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 Dinit.c242 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 Dstartup_arch.c100 * 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 Dstartup_x86.h26 errval_t startup_map_init(lvaddr_t vbase, lpaddr_t base, size_t size,
/barrelfish-2018-10-04/kernel/include/arch/armv8/
H A Dpaging_kernel_arch.h173 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 Dboot_arch.c27 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 Dstartup_x86.c64 * 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 Dcoreboot.h54 void *vbase; member in struct:elf_allocate_state

Completed in 300 milliseconds

12