Index: kernel/generic/include/mm/page.h
===================================================================
--- kernel/generic/include/mm/page.h	(revision b7fd2a02e4161f4edd38548e7f8456b8021549be)
+++ kernel/generic/include/mm/page.h	(revision e67c50ac9b5c850d056f789863dea7d4da95af3a)
@@ -46,9 +46,9 @@
 /** Operations to manipulate page mappings. */
 typedef struct {
-	void (* mapping_insert)(as_t *, uintptr_t, uintptr_t, unsigned int);
-	void (* mapping_remove)(as_t *, uintptr_t);
-	bool (* mapping_find)(as_t *, uintptr_t, bool, pte_t *);
-	void (* mapping_update)(as_t *, uintptr_t, bool, pte_t *);
-	void (* mapping_make_global)(uintptr_t, size_t);
+	void (*mapping_insert)(as_t *, uintptr_t, uintptr_t, unsigned int);
+	void (*mapping_remove)(as_t *, uintptr_t);
+	bool (*mapping_find)(as_t *, uintptr_t, bool, pte_t *);
+	void (*mapping_update)(as_t *, uintptr_t, bool, pte_t *);
+	void (*mapping_make_global)(uintptr_t, size_t);
 } page_mapping_operations_t;