|
@@ -1283,12 +1283,8 @@ void mark_rodata_ro(void)
|
|
|
set_memory_ro(start, (end-start) >> PAGE_SHIFT);
|
|
|
#endif
|
|
|
|
|
|
- free_init_pages("unused kernel",
|
|
|
- (unsigned long) __va(__pa_symbol(text_end)),
|
|
|
- (unsigned long) __va(__pa_symbol(rodata_start)));
|
|
|
- free_init_pages("unused kernel",
|
|
|
- (unsigned long) __va(__pa_symbol(rodata_end)),
|
|
|
- (unsigned long) __va(__pa_symbol(_sdata)));
|
|
|
+ free_init_pages("unused kernel", text_end, rodata_start);
|
|
|
+ free_init_pages("unused kernel", rodata_end, _sdata);
|
|
|
|
|
|
debug_checkwx();
|
|
|
|