/barrelfish-master/lib/devif/ |
H A D | region.c | 59 lpaddr_t base_addr, 71 tmp->base_addr = base_addr; 77 tmp->len, tmp->base_addr); 57 region_init(struct region** region, regionid_t region_id, lpaddr_t base_addr, size_t len, struct capref* cap) argument
|
H A D | region.h | 27 lpaddr_t base_addr; member in struct:region 46 lpaddr_t base_addr,
|
H A D | region_pool.c | 49 lpaddr_t base_addr; member in struct:region 70 lpaddr_t base_addr, 80 regoin->base_addr = base_addr; 84 region->len, region->base_addr); 257 if (tmp->base_addr == id.base) { 264 if (!((id.base + id.bytes <= tmp->base_addr) || 265 (tmp->base_addr + tmp->len <= id.base))) { 305 region->base_addr = id.base; 358 region->base_addr [all...] |
/barrelfish-master/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-master/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-master/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::__anon101 94 uint64_t base_addr :28; member in struct:x86_32_pdir_entry::__anon102 95 uint64_t reserved2 :12; // XXX: Part of base_addr 119 uint64_t base_addr :42; member in struct:x86_32_ptable_entry::__anon103 133 uint64_t base_addr :51; member in struct:x86_32_ptable_entry::__anon104 155 uint32_t base_addr :20; member in struct:x86_32_pdir_entry::__anon105 177 uint32_t base_addr :10; member in struct:x86_32_ptable_entry::__anon106 190 uint32_t base_addr :20; member in struct:x86_32_ptable_entry::__anon107 244 tmp.d.base_addr = base >> 12; 257 tmp.d.base_addr [all...] |
/barrelfish-master/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 | 618 paddr = (lpaddr_t)e->huge.base_addr << HUGE_PAGE_BITS; 620 paddr = (lpaddr_t)e->large.base_addr << LARGE_PAGE_BITS; 625 paddr = (lpaddr_t)de->d.base_addr << BASE_PAGE_BITS; 633 paddr = (lpaddr_t)e->base.base_addr << BASE_PAGE_BITS; 749 genpaddr_t pdpt_gp = pdpt->d.base_addr << BASE_PAGE_BITS; 754 genpaddr_t pdir_gp = pdir->d.base_addr << BASE_PAGE_BITS; 759 genpaddr_t ptable_gp = ptable->base.base_addr << BASE_PAGE_BITS; 985 lvaddr_t pdpt = local_phys_to_mem((genpaddr_t)pde->d.base_addr << BASE_PAGE_BITS); 996 lvaddr_t pdir = local_phys_to_mem((genpaddr_t)pde->d.base_addr << BASE_PAGE_BITS); 1007 lvaddr_t pt = local_phys_to_mem((genpaddr_t)pde->d.base_addr << BASE_PAGE_BIT [all...] |
H A D | vmx_vmkit.c | 237 errval_t vmxon(lpaddr_t base_addr) argument 239 __asm volatile("vmxon %[base_addr]\n\t" 241 : [base_addr] "m" (base_addr) 990 genpaddr_t paddr = (genpaddr_t)pdpt->d.base_addr << BASE_PAGE_BITS; 996 genpaddr_t pdpt_gp = pdpt->d.base_addr << BASE_PAGE_BITS; 1007 genpaddr_t paddr = (genpaddr_t)pt->huge.base_addr << HUGE_PAGE_BITS; 1014 genpaddr_t paddr = (genpaddr_t)pdir->d.base_addr << BASE_PAGE_BITS; 1020 genpaddr_t pdir_gp = pdir->d.base_addr << BASE_PAGE_BITS; 1031 genpaddr_t paddr = (genpaddr_t)pt->large.base_addr << LARGE_PAGE_BIT [all...] |
/barrelfish-master/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-master/usr/acpi/ |
H A D | vtd_sl_paging.h | 53 uint64_t base_addr :28; member in struct:sl_pdir_entry::__anon313 76 uint64_t base_addr :10; member in struct:sl_ptable_entry::__anon314 92 uint64_t base_addr :19; member in struct:sl_ptable_entry::__anon315 106 uint64_t base_addr :28; member in struct:sl_ptable_entry::__anon316 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-master/kernel/arch/armv7/ |
H A D | startup_arch.c | 220 genpaddr_t base_addr = local_phys_to_gen_phys(m->mod_start); local 223 region->mr_base = base_addr; 230 assert((base_addr & BASE_PAGE_MASK) == 0); 235 err = caps_create_new(ObjType_DevFrame, base_addr, remain, 271 genpaddr_t base_addr = mmap->base_addr; local 272 genpaddr_t end_addr = base_addr + (mmap->length - 1); 276 base_addr, end_addr, mmap->type); 282 if(base_addr < first_free_byte) 283 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);
|
/barrelfish-master/kernel/include/target/x86_64/ |
H A D | paging_kernel_target.h | 90 uint64_t base_addr :X86_64_PAGING_BASE_BASE_BITS; member in struct:x86_64_pdir_entry::__anon108 108 uint64_t base_addr :X86_64_PAGING_BASE_BASE_BITS; member in struct:x86_64_ept_pdir_entry::__anon109 134 uint64_t base_addr :X86_64_PAGING_HUGE_BASE_BITS; member in struct:x86_64_ptable_entry::__anon110 153 uint64_t base_addr :X86_64_PAGING_LARGE_BASE_BITS; member in struct:x86_64_ptable_entry::__anon111 170 uint64_t base_addr :X86_64_PAGING_BASE_BASE_BITS; member in struct:x86_64_ptable_entry::__anon112 191 uint64_t base_addr :X86_64_PAGING_HUGE_BASE_BITS; member in struct:x86_64_ept_ptable_entry::__anon113 207 uint64_t base_addr :X86_64_PAGING_LARGE_BASE_BITS; member in struct:x86_64_ept_ptable_entry::__anon114 222 uint64_t base_addr :X86_64_PAGING_BASE_BASE_BITS; member in struct:x86_64_ept_ptable_entry::__anon115 278 tmp.d.base_addr = base >> 12; 292 tmp.d.base_addr [all...] |
/barrelfish-master/usr/arrakismon/ |
H A D | paging.h | 99 uint64_t base_addr :X86_64_PAGING_BASE_BASE_BITS; member in struct:x86_64_pdir_entry::__anon333 124 uint64_t base_addr :X86_64_PAGING_HUGE_BASE_BITS; member in struct:x86_64_ptable_entry::__anon334 142 uint64_t base_addr :X86_64_PAGING_LARGE_BASE_BITS; member in struct:x86_64_ptable_entry::__anon335 158 uint64_t base_addr :X86_64_PAGING_BASE_BASE_BITS; member in struct:x86_64_ptable_entry::__anon336 211 tmp.d.base_addr = base >> 12; 274 tmp.huge.base_addr = base >> X86_64_HUGE_PAGE_BITS; 304 tmp.large.base_addr = base >> 21; 333 tmp.base.base_addr = base >> 12;
|
/barrelfish-master/usr/tests/nested_paging_test/ |
H A D | nestedpaging.h | 92 uint64_t base_addr :28; member in struct:x86_64_pdir_entry::__anon454 113 uint64_t base_addr :10; member in struct:x86_64_ptable_entry::__anon455 131 uint64_t base_addr :X86_64_PAGING_LARGE_BASE_BITS; member in struct:x86_64_ptable_entry::__anon456 147 uint64_t base_addr :X86_64_PAGING_BASE_BASE_BITS; member in struct:x86_64_ptable_entry::__anon457 200 tmp.d.base_addr = base >> 12; 263 tmp.huge.base_addr = base >> X86_64_HUGE_PAGE_BITS; 293 tmp.large.base_addr = base >> 21; 322 tmp.base.base_addr = base >> 12;
|
/barrelfish-master/lib/demandpaging/include/ |
H A D | dp_internal.h | 113 uint64_t base_addr :10; member in struct:x86_64_ptable_entry::__anon256 131 uint64_t base_addr :X86_64_PAGING_LARGE_BASE_BITS; member in struct:x86_64_ptable_entry::__anon257 147 uint64_t base_addr :X86_64_PAGING_BASE_BASE_BITS; member in struct:x86_64_ptable_entry::__anon258
|
/barrelfish-master/kernel/include/ |
H A D | kernel.h | 62 * \brief Align block at base_addr with size n to power of two 66 * the base_addr is aligned at its size. 67 * For example: n = 20, base_addr = 4 => size can be 1, 2 or 4. 71 * \param base_addr Base address of the block to split 96 static inline int bitaddralign(size_t n, lpaddr_t base_addr) argument 104 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-master/lib/posixcompat/ |
H A D | nestedpaging.h | 92 uint64_t base_addr :28; member in struct:x86_64_pdir_entry::__anon283 113 uint64_t base_addr :10; member in struct:x86_64_ptable_entry::__anon284 131 uint64_t base_addr :X86_64_PAGING_LARGE_BASE_BITS; member in struct:x86_64_ptable_entry::__anon285 147 uint64_t base_addr :X86_64_PAGING_BASE_BASE_BITS; member in struct:x86_64_ptable_entry::__anon286 200 tmp.d.base_addr = base >> 12; 263 tmp.huge.base_addr = base >> X86_64_HUGE_PAGE_BITS; 293 tmp.large.base_addr = base >> 21; 322 tmp.base.base_addr = base >> 12;
|
/barrelfish-master/include/target/x86/barrelfish_kpi/ |
H A D | coredata_target.h | 27 uint64_t base_addr; member in struct:x86_coredata_mmap
|
/barrelfish-master/tools/elver/ |
H A D | elver.c | 68 uint64_t base_addr :28; member in struct:pdir_entry::__anon310 93 uint64_t base_addr :19; member in struct:ptable_entry::__anon311 109 uint64_t base_addr :28; member in struct:ptable_entry::__anon312 218 entry->d.base_addr = base >> 12; 235 entry->large.base_addr = base >> 21;
|
/barrelfish-master/include/ |
H A D | multiboot.h | 127 uint64_t base_addr; member in struct:multiboot_mmap
|