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