Changes in kernel/generic/include/mm/page.h [e49e234:ada559c] in mainline

File:

• kernel/generic/include/mm/page.h (modified) (3 diffs)

kernel/generic/include/mm/page.h

@@ -36 +36 @@
 #define KERN_PAGE_H_
 
-#include <arch/types.h>
+#include <typedefs.h>
 #include <mm/as.h>
 #include <memstr.h>
@@ -42 +42 @@
 /** Operations to manipulate page mappings. */
 typedef struct {
-        void (* mapping_insert)(as_t *as, uintptr_t page, uintptr_t frame,
-            int flags);
-        void (* mapping_remove)(as_t *as, uintptr_t page);
-        pte_t *(* mapping_find)(as_t *as, uintptr_t page);
+        void (* mapping_insert)(as_t *, uintptr_t, uintptr_t, unsigned int);
+        void (* mapping_remove)(as_t *, uintptr_t);
+        pte_t *(* mapping_find)(as_t *, uintptr_t);
 } page_mapping_operations_t;
 
@@ -51 +50 @@
 
 extern void page_init(void);
-extern void page_table_lock(as_t *as, bool lock);
-extern void page_table_unlock(as_t *as, bool unlock);
-extern void page_mapping_insert(as_t *as, uintptr_t page, uintptr_t frame,
-    int flags);
-extern void page_mapping_remove(as_t *as, uintptr_t page);
-extern pte_t *page_mapping_find(as_t *as, uintptr_t page);
-extern pte_t *page_table_create(int flags);
-extern void page_table_destroy(pte_t *page_table);
-extern void map_structure(uintptr_t s, size_t size);
+extern void page_table_lock(as_t *, bool);
+extern void page_table_unlock(as_t *, bool);
+extern bool page_table_locked(as_t *);
+extern void page_mapping_insert(as_t *, uintptr_t, uintptr_t, unsigned int);
+extern void page_mapping_remove(as_t *, uintptr_t);
+extern pte_t *page_mapping_find(as_t *, uintptr_t);
+extern pte_t *page_table_create(unsigned int);
+extern void page_table_destroy(pte_t *);
+extern void map_structure(uintptr_t, size_t);
 
-extern uintptr_t hw_map(uintptr_t physaddr, size_t size);
+extern uintptr_t hw_map(uintptr_t, size_t);
 
 #endif