syscall/memflag: implement freeing memory

1 files changed, 2 insertions, 0 deletions

diff --git a/src/kernel/arch/generic.h b/src/kernel/arch/generic.h
index fd44e38..3e98001 100644
--- a/src/kernel/arch/generic.h
+++ b/src/kernel/arch/generic.h
@@ -30,8 +30,10 @@ struct pagedir *pagedir_new(void);
 struct pagedir *pagedir_copy(const struct pagedir *orig);
 
 void pagedir_free(struct pagedir *);
+void *pagedir_unmap(struct pagedir *dir, void __user *virt);
 void pagedir_map(struct pagedir *dir, void __user *virt, void *phys,
                  bool user, bool writeable);
+bool pagedir_iskern(struct pagedir *, const void __user *virt);
 
 void pagedir_switch(struct pagedir *);