Add prototype of _pg_dir_vpxlate() to arch.h

diff --git a/kernel/include/arch.h b/kernel/include/arch.h
index 9722a9ab4cd31ead9bf97849a1e1b6fb0de7ff61..10536e58e2d51b82ed7513a58abbf4083b7f572c 100644 (file)
--- a/kernel/include/arch.h
+++ b/kernel/include/arch.h
@@ -116,7 +116,7 @@ int     pg_dir_create(pg_dir_t**);
 int     pg_dir_map(pg_dir_t*, const void*, const void*, const u32_t, const u32_t);
 int     pg_dir_unmap(pg_dir_t*, const void*, const u32_t);
 void*   pg_dir_get_pdbr(pg_dir_t*);
-
+int     _pg_dir_vpxlate(pg_dir_t*, u32_t, u32_t*);
 void*   pg_dir_get_kstack(pg_dir_t*);
 void*   pg_dir_get_ustack(pg_dir_t*);