Fix parameters for outputf in text.c.

[netwatch.git] / include / paging.h

diff --git a/include/paging.h b/include/paging.h
index fb74a0dd6b2e6ca354eaa55fac1718a6cf4f8271..0f864d889c85062c5bbf92af91252aaab8aa238d 100644 (file)
--- a/include/paging.h
+++ b/include/paging.h
@@ -3,5 +3,8 @@
 
 extern unsigned long v2p(void *virt);
 extern void *p2v(unsigned long phys);
+extern int addmap(unsigned long vaddr, unsigned long paddr);
+extern int addmap_4m(unsigned long vaddr, unsigned long paddr);
+extern void *demap(unsigned long _pd, unsigned long vaddr);
 
 #endif