Lines Matching refs:ptable
210 struct vnode **ptable)
245 *ptable = pl3;
275 struct vnode *ptable= NULL;
276 errval_t err = get_ptable(pmap, vaddr, &ptable);
287 bool has_page = has_vnode(ptable, idx, pte_count);
301 pmap_vnode_insert_child(ptable, page);
303 set_mapping_cap(&pmap->p, page, ptable, idx);
306 assert(!capref_is_null(ptable->v.u.vnode.invokable));
307 err = vnode_map(ptable->v.u.vnode.invokable, frame, idx,
618 struct vnode *ptable = find_ptable(pmap, vaddr);
620 if (ptable) {
621 struct vnode *page = pmap_find_vnode(ptable, ptentry);
623 if (pmap_inside_region(ptable, ptentry, pages)) {