Searched refs:pdpt (Results 1 - 7 of 7) sorted by relevance
/barrelfish-2018-10-04/kernel/arch/x86_32/ |
H A D | debug.c | 26 uint32_t pdpt :2; member in struct:lin_addr::__anon405
|
/barrelfish-2018-10-04/kernel/arch/x86_64/ |
H A D | debug.c | 27 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 D | page_mappings_arch.c | 538 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 D | pmap.c | 103 * \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 D | elver.c | 122 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 D | pmap.c | 473 // 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 D | guest.c | 620 static uint64_t pdpt[512] = { 624 memcpy((void *)(guest_to_host(g->mem_low_va + 0x2000)), pdpt, sizeof(pdpt));
|
Completed in 109 milliseconds