32/kernel/vspace.c

155 BOOT_CODE void map_kernel_frame(paddr_t paddr, pptr_t vaddr, vm_rights_t vm_rights, vm_attributes_t attributes)
157     word_t idx = (vaddr & MASK(pageBitsForSize(ARMSection))) >> pageBitsForSize(ARMSmallPage);
159     assert(vaddr >= PPTR_TOP); /* vaddr lies in the region the global PT covers */
770 static resolve_ret_t resolveVAddr(pde_t *pd, vptr_t vaddr)
772     pde_t *pde = lookupPDSlot(pd, vaddr);
800         pte_t *pte = lookupPTSlot_nofail(pt, vaddr);
1092 pde_t *pageTableMapped(asid_t asid, vptr_t vaddr, pte_t *pt)
1103     pdIndex = vaddr >> (PAGE_BITS + PT_INDEX_BITS);
1218 void unmapPageTable(asid_t asid, vptr_t vaddr, pte_t *pt)
1223     pd = pageTableMapped(asid, vaddr, pt);
1226         pdIndex = vaddr >> (PT_INDEX_BITS + PAGE_BITS);
1231         flushTable(pd, asid, vaddr, pt);
1612 (paddr_t base, word_t vaddr, vm_page_size_t frameSize,
1632         lu_ret = lookupPTSlot(pd, vaddr);
1672         lu_ret = lookupPTSlot(pd, vaddr);
1712 (paddr_t base, word_t vaddr, vm_page_size_t frameSize,
1724         ret.pde_entries.base = lookupPDSlot(pd, vaddr);
1754         ret.pde_entries.base = lookupPDSlot(pd, vaddr);
1791 static inline vptr_t pageBase(vptr_t vaddr, vm_page_size_t size)
1793     return vaddr & ~MASK(pageBitsForSize(size));
2158     word_t vaddr, pdIndex;
2200     vaddr = getSyscallArg(0, buffer);
2218     if (unlikely(vaddr >= USER_TOP)) {
2219         userError("ARMPageTableMap: Virtual address cannot be in kernel window. vaddr: 0x%08lx, USER_TOP: 0x%08x", vaddr,
2249     pdIndex = vaddr >> (PAGE_BITS + PT_INDEX_BITS);
2272     cap = cap_page_table_cap_set_capPTMappedAddress(cap, vaddr);
2284         word_t vaddr, vtop, w_rightsMask;
2301         vaddr = getSyscallArg(0, buffer);
2330             if (generic_frame_cap_get_capFMappedAddress(cap) != vaddr) {
2338             vtop = vaddr + BIT(pageBitsForSize(frameSize)) - 1;
2341                 userError("ARMPageMap: Cannot map frame over kernel window. vaddr: 0x%08lx, USER_TOP: 0x%08x", vaddr, USER_TOP);
2377         if (unlikely(!checkVPAlignment(frameSize, vaddr))) {
2389                                                       vaddr);
2392             map_ret = createSafeMappingEntries_PTE(capFBasePtr, vaddr,
2410             map_ret = createSafeMappingEntries_PDE(capFBasePtr, vaddr,
2453         vptr_t vaddr;
2468         /* Must use kernel vaddr in hyp mode. */
2469         vaddr = generic_frame_cap_get_capFBasePtr(cap);
2471         vaddr = generic_frame_cap_get_capFMappedAddress(cap);
2514         start += vaddr;
2515         end += vaddr;
2857 static readWordFromVSpace_ret_t readWordFromVSpace(pde_t *pd, word_t vaddr)
2867     pdSlot = lookupPDSlot(pd, vaddr);
2870         offset = vaddr & MASK(ARMSectionBits);
2872         ptSlot = lookupPTSlot(pd, vaddr);
2877                 offset = vaddr & MASK(ARMLargePageBits);
2879                 offset = vaddr & MASK(ARMSmallPageBits);
2884             offset = vaddr & MASK(ARMSmallPageBits);
2887             offset = vaddr & MASK(ARMLargePageBits);