arch/x86_64/pmap.c

110     struct vnode *root = &pmap->root;
111     assert(root != NULL);
114     if((*pdpt = pmap_find_vnode(root, X86_64_PML4_BASE(base))) == NULL) {
115         enum objtype type = type_is_ept(pmap->root.v.type) ?
118         err = alloc_vnode(pmap, root, type, X86_64_PML4_BASE(base),
122             if ((*pdpt = pmap_find_vnode(root, X86_64_PML4_BASE(base))) != NULL) {
154         enum objtype type = type_is_ept(pmap->root.v.type) ?
192         enum objtype type = type_is_ept(pmap->root.v.type) ?
218     struct vnode *root = &pmap->root;
219     assert(root != NULL);
222     return pmap_find_vnode(root, X86_64_PML4_BASE(base));
1006     struct vnode *pml4 = &x86->root;
1047     struct vnode *pml4 = &x86->root;
1250     struct vnode *walk_pml4 = x86->root.v.u.vnode.children;
1276         if (!x86->root.v.u.vnode.children[first_free]) {
1336     x86->root.v.type = ObjType_VNode_x86_64_pml4;
1337     x86->root.v.is_vnode          = true;
1338     x86->root.v.cap       = vnode;
1339     x86->root.v.u.vnode.invokable = vnode;
1341         err = slot_alloc(&x86->root.v.u.vnode.invokable);
1344         err = cap_copy(x86->root.v.u.vnode.invokable, vnode);
1347     assert(!capref_is_null(x86->root.v.cap));
1348     assert(!capref_is_null(x86->root.v.u.vnode.invokable));
1349     pmap_vnode_init(pmap, &x86->root);
1350     x86->root.u.vnode.virt_base = 0;
1351     x86->root.u.vnode.page_table_frame  = NULL_CAP;
1357          * provide the mapping cnode for the first half of the root page table as
1361         x86->root.u.vnode.mcn[0].cnode = cnode_root;
1362         x86->root.u.vnode.mcn[0].slot = ROOTCN_SLOT_ROOT_MAPPING;
1363         x86->root.u.vnode.mcnode[0].croot = CPTR_ROOTCN;
1364         x86->root.u.vnode.mcnode[0].cnode = ROOTCN_SLOT_ADDR(ROOTCN_SLOT_ROOT_MAPPING);
1365         x86->root.u.vnode.mcnode[0].level = CNODE_TYPE_OTHER;
1367         err = cnode_create_l2(&x86->root.u.vnode.mcn[0], &x86->root.u.vnode.mcnode[0]);
1392     x86->root.v.type = ObjType_VNode_x86_64_ept_pml4;