|
@@ -550,6 +550,16 @@ void free_init_pages(char *what, unsigned long begin, unsigned long end)
|
|
|
if (begin >= end)
|
|
|
return;
|
|
|
|
|
|
+ /*
|
|
|
+ * If debugging page accesses then do not free this memory but
|
|
|
+ * mark them not present - any buggy init-section access will
|
|
|
+ * create a kernel page fault:
|
|
|
+ */
|
|
|
+#ifdef CONFIG_DEBUG_PAGEALLOC
|
|
|
+ printk(KERN_INFO "debug: unmapping init memory %08lx..%08lx\n",
|
|
|
+ begin, PAGE_ALIGN(end));
|
|
|
+ set_memory_np(begin, (end - begin) >> PAGE_SHIFT);
|
|
|
+#else
|
|
|
printk(KERN_INFO "Freeing %s: %luk freed\n", what, (end - begin) >> 10);
|
|
|
for (addr = begin; addr < end; addr += PAGE_SIZE) {
|
|
|
ClearPageReserved(virt_to_page(addr));
|
|
@@ -575,6 +585,7 @@ void free_init_pages(char *what, unsigned long begin, unsigned long end)
|
|
|
set_memory_nx(begin, (end - begin)/PAGE_SIZE);
|
|
|
}
|
|
|
#endif
|
|
|
+#endif
|
|
|
}
|
|
|
|
|
|
void free_initmem(void)
|