Lines Matching refs:ptable
36 /// Map within a x86_64 non leaf ptable
47 if (type_is_vnode(src->type) && pte_count != 1) { // only allow single ptable mappings
277 /// Map within a x86_64 ptable
390 /// Map within a x86_64 non leaf ptable
402 // only allow single ptable mappings
756 // get ptable
757 union x86_64_ptable_entry *ptable = (union x86_64_ptable_entry *)pdir_lv + X86_64_PDIR_BASE(vaddr);
758 if (!ptable->raw) { return 0; }
759 genpaddr_t ptable_gp = ptable->base.base_addr << BASE_PAGE_BITS;
896 struct cte *leaf_pt = info->ptable;
1079 // get ptable
1080 union x86_64_pdir_entry *ptable = (union x86_64_pdir_entry *)pdir_lv + ptable_index;
1081 pt = (union x86_64_ptable_entry *)ptable;
1082 if (!ptable->d.present) { continue; }
1083 // check if ptable or large page
1094 genpaddr_t paddr = (genpaddr_t)ptable->d.base_addr << BASE_PAGE_BITS;
1097 ptable->d.read_write, ptable->d.user_supervisor,
1098 ptable->raw);
1100 genpaddr_t ptable_gp = (genpaddr_t)ptable->d.base_addr << BASE_PAGE_BITS;