Lines Matching defs:vaddr
86 BOOT_CODE void map_kernel_frame(paddr_t paddr, pptr_t vaddr, vm_rights_t vm_rights)
91 kernel_root_pageTable[RISCV_GET_PT_INDEX(vaddr, 0)] = pte_next(paddr, true);
93 if (vaddr >= KDEV_BASE) {
97 kernel_image_level2_dev_pt[RISCV_GET_PT_INDEX(vaddr, 1)] = pte_next(paddr, true);
101 kernel_root_pageTable[RISCV_GET_PT_INDEX(vaddr, 0)] = pte_next(paddr, true);
721 word_t vaddr = getSyscallArg(0, buffer);
736 if (unlikely(vaddr >= USER_TOP)) {
759 lookupPTSlot_ret_t lu_ret = lookupPTSlot(lvl1pt, vaddr);
789 cap = cap_page_table_cap_set_capPTMappedAddress(cap, (vaddr & ~MASK(lu_ret.ptBitsLeft)));
807 word_t vaddr = getSyscallArg(0, buffer);
841 /* check the vaddr is valid */
842 word_t vtop = vaddr + BIT(pageBitsForSize(frameSize)) - 1;
848 if (unlikely(!checkVPAlignment(frameSize, vaddr))) {
854 lookupPTSlot_ret_t lu_ret = lookupPTSlot(lvl1pt, vaddr);
872 if (unlikely(mapped_vaddr != vaddr)) {
886 /* check this vaddr isn't already mapped */
897 cap = cap_frame_cap_set_capFMappedAddress(cap, vaddr);