|
@@ -962,6 +962,13 @@ void free_init_pages(char *what, unsigned long begin, unsigned long end)
|
|
begin, PAGE_ALIGN(end));
|
|
begin, PAGE_ALIGN(end));
|
|
set_memory_np(begin, (end - begin) >> PAGE_SHIFT);
|
|
set_memory_np(begin, (end - begin) >> PAGE_SHIFT);
|
|
#else
|
|
#else
|
|
|
|
+ /*
|
|
|
|
+ * We just marked the kernel text read only above, now that
|
|
|
|
+ * we are going to free part of that, we need to make that
|
|
|
|
+ * writeable first.
|
|
|
|
+ */
|
|
|
|
+ set_memory_rw(begin, (end - begin) >> PAGE_SHIFT);
|
|
|
|
+
|
|
printk(KERN_INFO "Freeing %s: %luk freed\n", what, (end - begin) >> 10);
|
|
printk(KERN_INFO "Freeing %s: %luk freed\n", what, (end - begin) >> 10);
|
|
|
|
|
|
for (; addr < end; addr += PAGE_SIZE) {
|
|
for (; addr < end; addr += PAGE_SIZE) {
|