implement the debuglog() syscall

1 files changed, 4 insertions, 0 deletions

diff --git a/src/kernel/arch/generic.h b/src/kernel/arch/generic.h
index 0b005a2..6200320 100644
--- a/src/kernel/arch/generic.h
+++ b/src/kernel/arch/generic.h
@@ -24,3 +24,7 @@ struct pagedir *pagedir_new();
 void pagedir_map(struct pagedir *dir, void *virt, void *phys,
                  bool user, bool writeable);
 void pagedir_switch(struct pagedir *);
+
+// return 0 on failure
+void *pagedir_virt2phys(struct pagedir *dir, const void *virt,
+                        bool user, bool writeable);