aboutsummaryrefslogtreecommitdiff
path: root/pk/mmap.h
diff options
context:
space:
mode:
authorAndrew Waterman <andrew@sifive.com>2021-02-10 17:03:03 -0800
committerAndrew Waterman <andrew@sifive.com>2021-03-25 22:21:06 -0700
commit817e7d0dfea820a369a5b5c2d5d729942b7daf42 (patch)
treea725081a6966d928cb9ddacdd2172251ef1691f9 /pk/mmap.h
parentb7f64fe5584094a6fe65d94d5e2382ff9289cbda (diff)
downloadpk-817e7d0dfea820a369a5b5c2d5d729942b7daf42.zip
pk-817e7d0dfea820a369a5b5c2d5d729942b7daf42.tar.gz
pk-817e7d0dfea820a369a5b5c2d5d729942b7daf42.tar.bz2
pk: only access user memory through explicit accessors
Enforced with sstatus.SUM.
Diffstat (limited to 'pk/mmap.h')
-rw-r--r--pk/mmap.h5
1 files changed, 2 insertions, 3 deletions
diff --git a/pk/mmap.h b/pk/mmap.h
index 5ec126b..9e3fad6 100644
--- a/pk/mmap.h
+++ b/pk/mmap.h
@@ -34,8 +34,7 @@ uintptr_t do_mremap(uintptr_t addr, size_t old_size, size_t new_size, int flags)
uintptr_t do_mprotect(uintptr_t addr, size_t length, int prot);
uintptr_t do_brk(uintptr_t addr);
-#define va2pa(va) ({ uintptr_t __va = (uintptr_t)(va); \
- extern uintptr_t first_free_paddr; \
- __va >= MEM_START ? __va : __va + first_free_paddr; })
+#define kva2pa(va) ((uintptr_t)(va))
+#define is_uva(va) ((uintptr_t)(va) < MEM_START)
#endif