Index: kernel/generic/include/mm/page.h
===================================================================
--- kernel/generic/include/mm/page.h	(revision babb57e107b5fa2ef328a5cae2988923b6352f36)
+++ kernel/generic/include/mm/page.h	(revision 7b3b57171e1a38631bd24e5ecdf71edd3f1926f4)
@@ -64,5 +64,4 @@
 extern pte_t *page_table_create(unsigned int);
 extern void page_table_destroy(pte_t *);
-extern void map_structure(uintptr_t, size_t);
 
 extern int page_find_mapping(uintptr_t, void **);