Add prototype for _pg_dir_vpxlate() to arch/paging.h

diff --git a/kernel/arch/paging.h b/kernel/arch/paging.h
index 805718248f6b5ce14285a776e5234dc777512585..cb0fb6bb5c33e8039c3b096a1b810e731802cd62 100644 (file)
--- a/kernel/arch/paging.h
+++ b/kernel/arch/paging.h
@@ -94,5 +94,6 @@ void* pg_frame_alloc_start(void);
 void* pg_frame_alloc_end(void);
 void  pg_frame_free(void*);
 int   pg_dir_memcpy(struct pagedir*, void*, struct pagedir*, void*, u32_t);
+int   _pg_dir_vpxlate(struct pagedir*, u32_t, u32_t*);
 
 #endif /* __PAGING_H */