X-Git-Url: http://git.joshuawise.com/netwatch.git/blobdiff_plain/f1584bb056629473dd1208034fed761cbaea8e29..47d8a487f11a9780a9d9c4955c55e5b42edbbdfc:/include/paging.h?ds=sidebyside

diff --git a/include/paging.h b/include/paging.h
index 4a27bb9..86f5676 100644
--- a/include/paging.h
+++ b/include/paging.h
@@ -11,10 +11,12 @@
 #ifndef __PAGING_H
 #define __PAGING_H
 
+#include <stdint.h>
+
 extern unsigned long v2p(void *virt);
 extern void *p2v(unsigned long phys);
+extern void *p2v64(uint64_t 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