Index: kernel/generic/include/mm/page.h
===================================================================
--- kernel/generic/include/mm/page.h	(revision d46732962adcfcbf946c2c3f032af0f7fadb285c)
+++ kernel/generic/include/mm/page.h	(revision 1db6dfd43e6af5b83407ca9b1ef75a0eaddfc7f4)
@@ -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 **);