Searched refs:X86_64_PDIR_BASE (Results 1 - 18 of 18) sorted by relevance

/barrelfish-master/kernel/include/arch/x86_64/
H A Dpaging_kernel_arch.h43 #define X86_64_PTABLE_ENTRIES(limit) (X86_64_PDIR_BASE((limit) - 1) + 1)
/barrelfish-master/include/target/x86_64/barrelfish_kpi/
H A Dpaging_target.h77 #define X86_64_PDIR_BASE(base) (((uint64_t)(base) >> 21) & X86_64_PTABLE_MASK) macro
/barrelfish-master/kernel/arch/x86_64/
H A Dpaging.c130 &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 Dstartup_arch.c125 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 Dinit.c257 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 Dpage_mappings_arch.c757 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 Dprotect.c64 if (X86_64_PDIR_BASE(mem) != X86_64_PDIR_BASE(mem + retfsize - 1)) {
/barrelfish-master/kernel/arch/k1om/
H A Dstartup_arch.c128 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 Dinit.c272 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 Dpmap.c68 // 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 Dvmpup.c249 if (X86_64_PDIR_BASE(mem) != X86_64_PDIR_BASE(mem + retfsize - 1)) {
/barrelfish-master/usr/acpi/
H A Dvtd_sl_paging.h21 #define SL_PDIR_BASE(addr) X86_64_PDIR_BASE(addr)
H A Dintel_vtd.c418 e = X86_64_PDIR_BASE(va);
/barrelfish-master/lib/posixcompat/
H A Dnestedpaging.c153 size_t pdire = X86_64_PDIR_BASE(vaddr);
/barrelfish-master/lib/driverkit/
H A Diommu_client.c300 *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 Dpmap_cow.c390 X86_64_PDIR_BASE(base), ptable);
/barrelfish-master/lib/demandpaging/
H A Ddemandpaging.c491 dpr->pages[i].vnode_entry += X86_64_PDIR_BASE(addr);
/barrelfish-master/usr/arrakismon/
H A Dguest.c714 err = vnode_map(pt->v.cap, mem, X86_64_PDIR_BASE(v->base),

Completed in 114 milliseconds