Searched refs:X86_64_PDIR_BASE (Results 1 - 18 of 18) sorted by relevance
/barrelfish-master/kernel/include/arch/x86_64/ |
H A D | paging_kernel_arch.h | 43 #define X86_64_PTABLE_ENTRIES(limit) (X86_64_PDIR_BASE((limit) - 1) + 1)
|
/barrelfish-master/include/target/x86_64/barrelfish_kpi/ |
H A D | paging_target.h | 77 #define X86_64_PDIR_BASE(base) (((uint64_t)(base) >> 21) & X86_64_PTABLE_MASK) macro
|
/barrelfish-master/kernel/arch/x86_64/ |
H A D | paging.c | 130 &mem_pdir[X86_64_PML4_BASE(addr)][X86_64_PDPT_BASE(addr)][X86_64_PDIR_BASE(vaddr)]; 135 X86_64_PDIR_BASE(vaddr));
|
H A D | startup_arch.c | 125 X86_64_PTABLE_SIZE + X86_64_PDIR_BASE(baddr) * 131 X86_64_PDPT_BASE(baddr), X86_64_PDIR_BASE(baddr), 311 + X86_64_PDIR_BASE(vaddr)]; 315 X86_64_PTABLE_SIZE + X86_64_PDIR_BASE(baddr) * 352 paging_x86_64_map_table(&init_pdir[X86_64_PDIR_BASE(ARGS_BASE)], 365 paging_x86_64_map_table(&init_pdir[X86_64_PDIR_BASE(DISPATCHER_BASE)], 510 paging_x86_64_map_table(&init_pdir[X86_64_PDIR_BASE(MON_URPC_BASE)],
|
H A D | init.c | 257 paging_x86_64_map_large(&boot_pdir[X86_64_PDIR_BASE(base)], base, PTABLE_PRESENT 263 paging_x86_64_map_large(&boot_pdir_hi[X86_64_PDIR_BASE(vbase)], base, PTABLE_PRESENT 271 paging_x86_64_map_large(&boot_pdir_1GB[X86_64_PDIR_BASE(X86_64_MEM_PAGE_SIZE * i)],
|
H A D | page_mappings_arch.c | 757 union x86_64_ptable_entry *ptable = (union x86_64_ptable_entry *)pdir_lv + X86_64_PDIR_BASE(vaddr); 993 first_pdire = pdptidx == first_pdpte ? X86_64_PDIR_BASE(buffer) : 0; 994 last_pdire = pdptidx == last_pdpte ? X86_64_PDIR_BASE(end) : PTABLE_ENTRIES;
|
/barrelfish-master/usr/tests/pagetable/ |
H A D | protect.c | 64 if (X86_64_PDIR_BASE(mem) != X86_64_PDIR_BASE(mem + retfsize - 1)) {
|
/barrelfish-master/kernel/arch/k1om/ |
H A D | startup_arch.c | 128 X86_64_PTABLE_SIZE + X86_64_PDIR_BASE(baddr) * 134 X86_64_PDPT_BASE(baddr), X86_64_PDIR_BASE(baddr), 309 + X86_64_PDIR_BASE(vaddr)]; 313 X86_64_PTABLE_SIZE + X86_64_PDIR_BASE(baddr) * 350 paging_x86_64_map_table(&init_pdir[X86_64_PDIR_BASE(ARGS_BASE)], 363 paging_x86_64_map_table(&init_pdir[X86_64_PDIR_BASE(DISPATCHER_BASE)], 530 paging_x86_64_map_table(&init_pdir[X86_64_PDIR_BASE(MON_URPC_BASE)],
|
H A D | init.c | 272 paging_x86_64_map_large(&boot_pdir[X86_64_PDIR_BASE(base)], base, PTABLE_PRESENT 278 paging_x86_64_map_large(&boot_pdir_hi[X86_64_PDIR_BASE(vbase)], base, PTABLE_PRESENT 286 paging_x86_64_map_large(&boot_pdir_1GB[X86_64_PDIR_BASE(X86_64_MEM_PAGE_SIZE * i)], 302 paging_x86_64_map_large(&boot_pdir_mmio[X86_64_PDIR_BASE(local_phys_to_mem(XEON_PHI_SBOX_BASE))],
|
/barrelfish-master/lib/barrelfish/arch/x86_64/ |
H A D | pmap.c | 68 // not using X86_64_PDIR_BASE() macro as this would give false positives (same 191 if((*ptable = pmap_find_vnode(pdir, X86_64_PDIR_BASE(base))) == NULL) { 196 X86_64_PDIR_BASE(base), ptable, base); 199 if ((*ptable = pmap_find_vnode(pdir, X86_64_PDIR_BASE(base))) != NULL) { 251 return pmap_find_vnode(pdir, X86_64_PDIR_BASE(base)); 285 table_base = X86_64_PDIR_BASE(vaddr); 392 table_base = X86_64_PDIR_BASE(vaddr); 636 page = pmap_find_vnode(pdir, X86_64_PDIR_BASE(vaddr)); 647 table_base = X86_64_PDIR_BASE(vaddr); 1224 if ((current = pmap_find_vnode(parent, X86_64_PDIR_BASE(vadd [all...] |
/barrelfish-master/usr/bench/mem_appel/ |
H A D | vmpup.c | 249 if (X86_64_PDIR_BASE(mem) != X86_64_PDIR_BASE(mem + retfsize - 1)) {
|
/barrelfish-master/usr/acpi/ |
H A D | vtd_sl_paging.h | 21 #define SL_PDIR_BASE(addr) X86_64_PDIR_BASE(addr)
|
H A D | intel_vtd.c | 418 e = X86_64_PDIR_BASE(va);
|
/barrelfish-master/lib/posixcompat/ |
H A D | nestedpaging.c | 153 size_t pdire = X86_64_PDIR_BASE(vaddr);
|
/barrelfish-master/lib/driverkit/ |
H A D | iommu_client.c | 300 *retslot = X86_64_PDIR_BASE(addr); 424 *retslot = X86_64_PDIR_BASE(addr); 431 assert(slot == X86_64_PDIR_BASE(addr));
|
/barrelfish-master/usr/bench/cow/ |
H A D | pmap_cow.c | 390 X86_64_PDIR_BASE(base), ptable);
|
/barrelfish-master/lib/demandpaging/ |
H A D | demandpaging.c | 491 dpr->pages[i].vnode_entry += X86_64_PDIR_BASE(addr);
|
/barrelfish-master/usr/arrakismon/ |
H A D | guest.c | 714 err = vnode_map(pt->v.cap, mem, X86_64_PDIR_BASE(v->base),
|
Completed in 114 milliseconds