/barrelfish-2018-10-04/kernel/arch/x86/ |
H A D | startup_x86.c | 156 genpaddr_t base_addr = local_phys_to_gen_phys(m->mod_start); local 159 region->mr_base = base_addr; 168 assert((base_addr & BASE_PAGE_MASK) == 0); 174 err = caps_create_new(ObjType_DevFrame, base_addr, remain, 195 printf("\t0x%08"PRIx64" - 0x%08"PRIx64" Type: %"PRIu32" Length: 0x%"PRIx64"\n", printcurmmap->base_addr, printcurmmap->base_addr + printcurmmap->length, printcurmmap->type, printcurmmap->length);\ 222 if (nextmmap->base_addr < curmmap->base_addr || 223 (nextmmap->base_addr == curmmap->base_addr [all...] |
/barrelfish-2018-10-04/lib/devif/ |
H A D | region.c | 77 tmp->base_addr = id.base; 83 tmp->len, tmp->base_addr);
|
H A D | region.h | 27 lpaddr_t base_addr; member in struct:region
|
H A D | region_pool.c | 183 if (tmp->base_addr == id.base) { 190 if (!((id.base + id.bytes <= tmp->base_addr) || 191 (tmp->base_addr + tmp->len <= id.base))) {
|
/barrelfish-2018-10-04/kernel/arch/x86_32/ |
H A D | startup_arch.c | 171 mmap->base_addr, mmap->base_addr + mmap->length, 181 if((r->base + (1 << r->bits) >= mmap->base_addr 182 && r->base + (1 << r->bits) <= mmap->base_addr + mmap->length) 183 || (r->base >= mmap->base_addr 184 && r->base <= mmap->base_addr + mmap->length)) { 196 && mmap->base_addr > last_end_addr) { 199 last_end_addr, mmap->base_addr); 202 mmap->base_addr - last_end_addr, 208 genpaddr_t base_addr local [all...] |
H A D | page_mappings_arch.c | 400 genpaddr_t pdir_gp = pdir->d.base_addr << BASE_PAGE_BITS; 417 genpaddr_t paddr = large->large.base_addr << X86_32_LARGE_PAGE_BITS; 421 genpaddr_t ptable_gp = ptable->d.base_addr << BASE_PAGE_BITS; 427 genpaddr_t paddr = (genpaddr_t)e->base.base_addr << BASE_PAGE_BITS;
|
/barrelfish-2018-10-04/kernel/include/target/x86_32/ |
H A D | paging_kernel_target.h | 76 uint64_t base_addr :52; member in struct:x86_32_pdpte_entry::__anon455 94 uint64_t base_addr :28; member in struct:x86_32_pdir_entry::__anon456 95 uint64_t reserved2 :12; // XXX: Part of base_addr 119 uint64_t base_addr :42; member in struct:x86_32_ptable_entry::__anon457 133 uint64_t base_addr :51; member in struct:x86_32_ptable_entry::__anon458 155 uint32_t base_addr :20; member in struct:x86_32_pdir_entry::__anon459 177 uint32_t base_addr :10; member in struct:x86_32_ptable_entry::__anon460 190 uint32_t base_addr :20; member in struct:x86_32_ptable_entry::__anon461 244 tmp.d.base_addr = base >> 12; 257 tmp.d.base_addr [all...] |
/barrelfish-2018-10-04/kernel/arch/x86_64/ |
H A D | debug.c | 64 pdpt_addr = local_phys_to_mem(((union x86_64_pdir_entry*)pml4et)->d.base_addr << 12); 72 pdir_addr = local_phys_to_mem(((union x86_64_pdir_entry*)pdptet)->d.base_addr << 12); 80 ptable_addr = local_phys_to_mem(((union x86_64_pdir_entry*)pdiret)->d.base_addr << 12); 87 lpaddr_t addr = ((union x86_64_ptable_entry*)ptableet)->base.base_addr << 12;
|
H A D | startup_arch.c | 167 mmap->base_addr, mmap->base_addr + mmap->length, 171 && mmap->base_addr > last_end_addr) { 174 last_end_addr, mmap->base_addr); 177 mmap->base_addr - last_end_addr, 183 genpaddr_t base_addr = mmap->base_addr; local 184 genpaddr_t end_addr = base_addr + mmap->length; 188 if (base_addr < local_phys_to_gen_phys(init_alloc_addr)) { 189 base_addr [all...] |
H A D | page_mappings_arch.c | 540 genpaddr_t pdpt_gp = (genpaddr_t)pdpt->d.base_addr << BASE_PAGE_BITS; 551 genpaddr_t paddr = (genpaddr_t)pt->huge.base_addr << HUGE_PAGE_BITS; 556 genpaddr_t pdir_gp = (genpaddr_t)pdir->d.base_addr << BASE_PAGE_BITS; 567 genpaddr_t paddr = (genpaddr_t)pt->large.base_addr << LARGE_PAGE_BITS; 572 genpaddr_t ptable_gp = (genpaddr_t)ptable->d.base_addr << BASE_PAGE_BITS; 579 genpaddr_t paddr = (genpaddr_t)e->base.base_addr << BASE_PAGE_BITS;
|
H A D | vmx_vmkit.c | 205 errval_t vmxon(lpaddr_t base_addr) argument 207 __asm volatile("vmxon %[base_addr]\n\t" 209 : [base_addr] "m" (base_addr)
|
/barrelfish-2018-10-04/kernel/arch/k1om/ |
H A D | startup_arch.c | 167 if (mbi_mmaps[i-1].base_addr > mbi_mmaps[i].base_addr) { 180 mmap->base_addr, mmap->base_addr + mmap->length, 184 && mmap->base_addr > last_end_addr) { 187 last_end_addr, mmap->base_addr); 190 mmap->base_addr - last_end_addr, 196 genpaddr_t base_addr = mmap->base_addr; local 197 genpaddr_t end_addr = base_addr [all...] |
/barrelfish-2018-10-04/usr/acpi/ |
H A D | vtd_sl_paging.h | 53 uint64_t base_addr :28; member in struct:sl_pdir_entry::__anon1429 76 uint64_t base_addr :10; member in struct:sl_ptable_entry::__anon1430 92 uint64_t base_addr :19; member in struct:sl_ptable_entry::__anon1431 106 uint64_t base_addr :28; member in struct:sl_ptable_entry::__anon1432 121 tmp.d.base_addr = base >> 12; 137 tmp.base.base_addr = base >> 12; 154 tmp.large21.base_addr = base >> 21; 171 tmp.large30.base_addr = base >> 30;
|
/barrelfish-2018-10-04/kernel/arch/armv7/ |
H A D | startup_arch.c | 221 genpaddr_t base_addr = local_phys_to_gen_phys(m->mod_start); local 224 region->mr_base = base_addr; 231 assert((base_addr & BASE_PAGE_MASK) == 0); 236 err = caps_create_new(ObjType_DevFrame, base_addr, remain, 272 genpaddr_t base_addr = mmap->base_addr; local 273 genpaddr_t end_addr = base_addr + (mmap->length - 1); 277 base_addr, end_addr, mmap->type); 283 if(base_addr < first_free_byte) 284 base_addr [all...] |
H A D | boot_driver.c | 291 if(mmap[region].base_addr > (uint64_t)UINT32_MAX) 293 lpaddr_t ram_base= (uint32_t)mmap[region].base_addr; 297 if(mmap[region].base_addr + (mmap[region].length - 1) > 300 (uint32_t)((uint64_t)UINT32_MAX - mmap[region].base_addr + 1);
|
H A D | syscall.c | 350 lpaddr_t base_addr = get_address(vnode); local 351 assert((base_addr & BASE_PAGE_MASK) == 0); 355 .value = base_addr | ((uint8_t)vnode->type),
|
/barrelfish-2018-10-04/kernel/include/ |
H A D | kernel.h | 61 * \brief Align block at base_addr with size n to power of two 65 * the base_addr is aligned at its size. 66 * For example: n = 20, base_addr = 4 => size can be 1, 2 or 4. 70 * \param base_addr Base address of the block to split 95 static inline int bitaddralign(size_t n, lpaddr_t base_addr) argument 103 while ((exponent > 0) && ((base_addr % (1UL << exponent)) != 0)){
|
H A D | startup.h | 36 errval_t create_caps_to_cnode(lpaddr_t base_addr, size_t size,
|
/barrelfish-2018-10-04/kernel/include/target/x86_64/ |
H A D | paging_kernel_target.h | 69 uint64_t base_addr :28; member in struct:x86_64_pdir_entry::__anon462 113 uint64_t base_addr :10; member in struct:x86_64_ptable_entry::__anon463 132 uint64_t base_addr :X86_64_PAGING_LARGE_BASE_BITS; member in struct:x86_64_ptable_entry::__anon464 149 uint64_t base_addr :X86_64_PAGING_BASE_BASE_BITS; member in struct:x86_64_ptable_entry::__anon465 206 tmp.d.base_addr = base >> 12; 236 tmp.huge.base_addr = base >> X86_64_HUGE_PAGE_BITS; 272 tmp.large.base_addr = base >> 21; 307 tmp.base.base_addr = base >> 12;
|
/barrelfish-2018-10-04/include/target/x86/barrelfish_kpi/ |
H A D | coredata_target.h | 27 uint64_t base_addr; member in struct:x86_coredata_mmap
|
/barrelfish-2018-10-04/tools/elver/ |
H A D | elver.c | 68 uint64_t base_addr :28; member in struct:pdir_entry::__anon1421 93 uint64_t base_addr :19; member in struct:ptable_entry::__anon1422 109 uint64_t base_addr :28; member in struct:ptable_entry::__anon1423 218 entry->d.base_addr = base >> 12; 235 entry->large.base_addr = base >> 21;
|
/barrelfish-2018-10-04/include/ |
H A D | multiboot.h | 127 uint64_t base_addr; member in struct:multiboot_mmap
|
/barrelfish-2018-10-04/kernel/ |
H A D | startup.c | 38 * This function creates untyped caps to the RAM at physical address 'base_addr' 42 * \param base_addr The physical base address of the RAM for which caps have to 49 errval_t create_caps_to_cnode(lpaddr_t base_addr, size_t size, argument 97 err = caps_create_new(cap_type, base_addr, size, size, my_core_id, 105 regions[*regions_index].mr_base = base_addr;
|
/barrelfish-2018-10-04/kernel/arch/armv8/ |
H A D | startup_arch.c | 285 genpaddr_t base_addr = local_phys_to_gen_phys(module->mod_start); local 287 region->mr_base = base_addr; 294 assert((base_addr & BASE_PAGE_MASK) == 0); 299 err = caps_create_new(ObjType_DevFrame, base_addr, remain,
|
/barrelfish-2018-10-04/kernel/include/arch/x86_64/ |
H A D | vmx_vmkit.h | 313 errval_t vmxon(lpaddr_t base_addr);
|