At least pretend to split more ICH2 bits out into a config.mk. A real build system...

[netwatch.git] / include / paging.h

diff --git a/include/paging.h b/include/paging.h
index fb74a0dd6b2e6ca354eaa55fac1718a6cf4f8271..86f5676ab2818202fbee252f12f755b42c481ddc 100644 (file)
--- a/include/paging.h
+++ b/include/paging.h
@@ -1,7 +1,22 @@
+/* minilib.h
+ * Definitions for page-table mapping and demapping
+ * NetWatch system management mode administration console
+ *
+ * Copyright (c) 2008 Jacob Potter and Joshua Wise.  All rights reserved.
+ * This program is free software; you can redistribute and/or modify it under
+ * the terms found in the file LICENSE in the root of this source tree. 
+ *
+ */
+

 #ifndef __PAGING_H
 #define __PAGING_H
 
 #ifndef __PAGING_H
 #define __PAGING_H
 

+#include <stdint.h>
+

 extern unsigned long v2p(void *virt);
 extern void *p2v(unsigned long phys);
 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);

 
 #endif
 
 #endif