arch/arm/pmap.c

179             debug_printf("%s: found ptable at [%"PRIu16"--%"PRIu16"]\n",
371                            struct vnode    **ptable)
377     if ((*ptable = find_vnode(&pmap->root, idx)) == NULL)
391         *ptable = tmp; // Set argument to received value
397     assert(ptable);
398     struct vnode *pt = *ptable;
400         debug_printf("found section @%d, trying to get ptable for %d\n",
405     debug_printf("have ptable: %p\n", pt);
426     struct vnode *ptable;
443         ptable = &pmap->root;
459         err = get_ptable(pmap, vaddr, &ptable);
467         debug_printf("%s: ptable->is_vnode = %d\n",
468                 __FUNCTION__, ptable->is_vnode);
477     if (has_vnode(ptable, entry, pte_count, false)) {
481         if (has_vnode(ptable, entry, pte_count, true)) {
494             remove_empty_vnodes(&pmap->slab, ptable, entry, pte_count);
503     page->next  = ptable->u.vnode.children;
504     ptable->u.vnode.children = page;
509     set_mapping_capref(&page->mapping, ptable, entry);
512     err = vnode_map(ptable->u.vnode.invokable, frame, entry,
1075     struct vnode *ptable = find_ptable(pmap, vaddr);
1077     if (ptable) {
1078         struct vnode *page = find_vnode(ptable, ptentry);
1080             if (inside_region(ptable, ptentry, pages)) {