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