Index: kernel/generic/include/mm/page.h
===================================================================
--- kernel/generic/include/mm/page.h	(revision babb57e107b5fa2ef328a5cae2988923b6352f36)
+++ kernel/generic/include/mm/page.h	(revision 61ac34d70fecba6cf8b984c7b70622fdeec7ab57)
@@ -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 **);
Index: kernel/generic/src/mm/page.c
===================================================================
--- kernel/generic/src/mm/page.c	(revision babb57e107b5fa2ef328a5cae2988923b6352f36)
+++ kernel/generic/src/mm/page.c	(revision 61ac34d70fecba6cf8b984c7b70622fdeec7ab57)
@@ -84,28 +84,4 @@
 }
 
-/** Map memory structure
- *
- * Identity-map memory structure
- * considering possible crossings
- * of page boundaries.
- *
- * @param addr Address of the structure.
- * @param size Size of the structure.
- *
- */
-void map_structure(uintptr_t addr, size_t size)
-{
-	size_t length = size + (addr - (addr & ~(PAGE_SIZE - 1)));
-	size_t cnt = length / PAGE_SIZE + (length % PAGE_SIZE > 0);
-	
-	size_t i;
-	for (i = 0; i < cnt; i++)
-		page_mapping_insert(AS_KERNEL, addr + i * PAGE_SIZE,
-		    addr + i * PAGE_SIZE, PAGE_NOT_CACHEABLE | PAGE_WRITE);
-	
-	/* Repel prefetched accesses to the old mapping. */
-	memory_barrier();
-}
-
 /** Insert mapping of page to frame.
  *