Searched refs:pdpt (Results 1 - 7 of 7) sorted by relevance

/barrelfish-2018-10-04/kernel/arch/x86_32/
H A Ddebug.c26 uint32_t pdpt :2; member in struct:lin_addr::__anon405
/barrelfish-2018-10-04/kernel/arch/x86_64/
H A Ddebug.c27 uint64_t pdpt :9; member in struct:lin_addr::__anon406
52 printf("pdpt = %x\n", lin_addr.d.pdpt);
67 (lin_addr.d.pdpt * sizeof(union x86_64_pdir_entry)));
H A Dpage_mappings_arch.c538 union x86_64_pdir_entry *pdpt = (union x86_64_pdir_entry *)root_pt + pdpt_index; local
539 if (!pdpt->d.present) { continue; }
540 genpaddr_t pdpt_gp = (genpaddr_t)pdpt->d.base_addr << BASE_PAGE_BITS;
553 // goto next pdpt entry
/barrelfish-2018-10-04/lib/barrelfish/arch/x86_64/
H A Dpmap.c103 * \brief Returns the vnode for the pdpt mapping a given vspace address
106 struct vnode **pdpt)
113 if((*pdpt = find_vnode(root, X86_64_PML4_BASE(base))) == NULL) {
115 X86_64_PML4_BASE(base), pdpt);
118 if ((*pdpt = find_vnode(root, X86_64_PML4_BASE(base))) != NULL) {
123 DEBUG_ERR(err, "alloc_vnode for pdpt");
139 struct vnode *pdpt; local
140 err = get_pdpt(pmap, base, &pdpt);
144 assert(pdpt != NULL);
147 if((*pdir = find_vnode(pdpt, X86_64_PDPT_BAS
105 get_pdpt(struct pmap_x86 *pmap, genvaddr_t base, struct vnode **pdpt) argument
217 struct vnode *pdpt = find_pdpt(pmap, base); local
664 struct vnode *pdpt = NULL, *pdir = NULL, *pt = NULL, *page = NULL; local
1001 struct vnode *pdpt, *pdir, *pt, *frame; local
[all...]
/barrelfish-2018-10-04/tools/elver/
H A Delver.c122 static union pdir_entry pdpt[PTABLE_SIZE] variable in typeref:union:pdir_entry
296 paging_map_table(&boot_pml4[PML4_BASE(0)], (uint64_t)(uint32_t)pdpt);
297 paging_map_table(&pdpt[PDPT_BASE(0)], (uint64_t)(uint32_t)pdir);
/barrelfish-2018-10-04/lib/barrelfish/arch/x86_32/
H A Dpmap.c473 // find page and last-level page table (can be pdir or pdpt)
786 struct vnode *pdpt = &x86->root, *pdir; local
788 assert(pdpt != NULL);
797 // iterate over pdpt entries
800 for (pdir = pdpt->u.vnode.children; pdir != NULL; pdir = pdir->next) {
/barrelfish-2018-10-04/usr/arrakismon/
H A Dguest.c620 static uint64_t pdpt[512] = {
624 memcpy((void *)(guest_to_host(g->mem_low_va + 0x2000)), pdpt, sizeof(pdpt));

Completed in 109 milliseconds