Hit paging to clean it up a bit. Add a reboot button.

[netwatch.git] / include / paging.h

diff --git a/include/paging.h b/include/paging.h
index 69c12eb95395e80c4d571b417b27c9467eef5120..fb74a0dd6b2e6ca354eaa55fac1718a6cf4f8271 100644 (file)
--- a/include/paging.h
+++ b/include/paging.h
@@ -1,7 +1,7 @@
 #ifndef __PAGING_H
 #define __PAGING_H
 
-extern unsigned long memory_v2p(void *virt);
-extern void *memory_p2v(unsigned long phys);
+extern unsigned long v2p(void *virt);
+extern void *p2v(unsigned long phys);
 
 #endif