Lines Matching refs:ptable
64 if (!mapping->ptable || mapping->ptable->cap.type == ObjType_Null)
68 *next = mapping->ptable;
101 struct cte *ptable, cslot_t entry, size_t pte_count)
104 assert(type_is_vnode(ptable->cap.type));
111 mapping_cte->cap.u.frame_mapping.ptable = ptable;
118 * in page table 'ptable'
120 errval_t compile_vaddr(struct cte *ptable, size_t entry, genvaddr_t *retvaddr)
122 if (!type_is_vnode(ptable->cap.type)) {
134 switch (ptable->cap.type) {
169 size_t mask = (1ULL<<vnode_objbits(ptable->cap.type))-1;
173 struct cte *old = ptable;
195 // calculate offset into next level ptable
197 // shift new part of vaddr by old shiftwidth + #entries of old ptable
235 struct cte *pgtable = mapping->ptable;
237 debug(SUBSYS_PAGING, "mapping->ptable == 0: just deleting mapping\n");
243 "mapping->ptable.type not vnode (%d): just deleting mapping\n",
244 mapping->ptable->cap.type);
329 printk(LOG_NOTE, "%s: ptable = %p[%s]\n", __FUNCTION__, pgtable, buf);
360 struct cte *leaf_pt = mapping->ptable;