diff options
| author | Michael Foiani <mfoiani@cs.brown.edu> | 2024-05-15 18:17:49 -0400 |
|---|---|---|
| committer | Michael Foiani <mfoiani@cs.brown.edu> | 2024-05-15 18:17:49 -0400 |
| commit | 3942ec1841219e9d1033f583ebfcf687cb76a4af (patch) | |
| tree | 13168b263ee28ce2d0867cac47b0fc90bf23b815 /kernel/api/access.c | |
| parent | 77408081bd2622c50d9acbcec18f1c598738fdaa (diff) | |
Diffstat (limited to 'kernel/api/access.c')
| -rw-r--r-- | kernel/api/access.c | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/kernel/api/access.c b/kernel/api/access.c index 944277c..7dff240 100644 --- a/kernel/api/access.c +++ b/kernel/api/access.c @@ -116,12 +116,6 @@ long user_vecdup(argvec_t *uvec, char ***kvecp) */ long addr_perm(proc_t *p, const void *vaddr, int perm) { - // NOT_YET_IMPLEMENTED("vm:: addr_perm"); - - // loop through the vmareas in the process's vmmap - // vmarea_t *vma = vmmap_lookup(p->p_vmmap, ADDR_TO_PN(vaddr)); - // return vma && !!(perm & vma->vma_prot); - vmarea_t *vma = vmmap_lookup(p->p_vmmap, ADDR_TO_PN(vaddr)); if (vma == NULL) { @@ -143,7 +137,6 @@ long addr_perm(proc_t *p, const void *vaddr, int perm) */ long range_perm(proc_t *p, const void *vaddr, size_t len, int perm) { - // NOT_YET_IMPLEMENTED("vm:: range_perm"); size_t start = ADDR_TO_PN(vaddr); size_t end = ADDR_TO_PN(PAGE_ALIGN_UP(vaddr + len)); while (start < end) |