64/kernel/vspace.c

50     uint64_t vaddr;
91     vaddr = PPTR_BASE;
95         int pdpte_index = GET_PDPT_INDEX(vaddr);
110         vaddr += BIT(seL4_HugePageBits);
187     vaddr = PPTR_BASE;
192         int pd_index = GET_PDPT_INDEX(vaddr) - GET_PDPT_INDEX(PPTR_BASE);
193         int pde_index = GET_PD_INDEX(vaddr);
208         vaddr += 0x200000;
1074 void unmapPageDirectory(asid_t asid, vptr_t vaddr, pde_t *pd)
1084     lu_ret = lookupPDPTSlot(find_ret.vspace_root, vaddr);
1096     flushPD(find_ret.vspace_root, vaddr, pd, asid);
1143     word_t              vaddr;
1183     vaddr = getSyscallArg(0, buffer) & (~MASK(PDPT_INDEX_OFFSET));
1197     if (vaddr > USER_TOP) {
1222     pdptSlot = lookupPDPTSlot(vspace, vaddr);
1244     cap = cap_page_directory_cap_set_capPDMappedAddress(cap, vaddr);
1250 static void unmapPDPT(asid_t asid, vptr_t vaddr, pdpte_t *pdpt)
1260     pml4Slot = lookupPML4Slot(find_ret.vspace_root, vaddr);
1268     flushPDPT(find_ret.vspace_root, vaddr, pdpt, asid);
1307     word_t                  vaddr;
1348     vaddr = getSyscallArg(0, buffer) & (~MASK(PML4_INDEX_OFFSET));
1362     if (vaddr > USER_TOP) {
1387     pml4Slot = lookupPML4Slot(vspace, vaddr);
1400     cap = cap_pdpt_cap_set_capPDPTMappedAddress(cap, vaddr);
1433 bool_t modeUnmapPage(vm_page_size_t page_size, vspace_root_t *vroot, vptr_t vaddr, void *pptr)
1437         lookupPDPTSlot_ret_t pdpt_ret = lookupPDPTSlot(vroot, vaddr);
1479 static create_mapping_pdpte_return_t createSafeMappingEntries_PDPTE(paddr_t base, word_t vaddr, vm_rights_t vmRights,
1486     lu_ret = lookupPDPTSlot(vspace, vaddr);
1510                                  vspace_root_t *vroot, vptr_t vaddr, paddr_t paddr, vm_rights_t vm_rights, vm_attributes_t vm_attr)
1515         map_ret = createSafeMappingEntries_PDPTE(paddr, vaddr, vm_rights, vm_attr, vroot);
1540 static readWordFromVSpace_ret_t readWordFromVSpace(vspace_root_t *vspace, word_t vaddr)
1551     pdptSlot = lookupPDPTSlot(vspace, vaddr);
1557         offset = vaddr & MASK(seL4_HugePageBits);
1559         pdSlot = lookupPDSlot(vspace, vaddr);
1565             offset = vaddr & MASK(seL4_LargePageBits);
1567             ptSlot = lookupPTSlot(vspace, vaddr);
1570                 offset = vaddr & MASK(seL4_PageBits);