|
@@ -236,40 +236,16 @@ void __init setup_memory(void)
|
|
|
paging_init();
|
|
|
}
|
|
|
|
|
|
-void free_init_pages(char *what, unsigned long begin, unsigned long end)
|
|
|
-{
|
|
|
- unsigned long addr;
|
|
|
-
|
|
|
- for (addr = begin; addr < end; addr += PAGE_SIZE) {
|
|
|
- ClearPageReserved(virt_to_page(addr));
|
|
|
- init_page_count(virt_to_page(addr));
|
|
|
- free_page(addr);
|
|
|
- totalram_pages++;
|
|
|
- }
|
|
|
- pr_info("Freeing %s: %ldk freed\n", what, (end - begin) >> 10);
|
|
|
-}
|
|
|
-
|
|
|
#ifdef CONFIG_BLK_DEV_INITRD
|
|
|
void free_initrd_mem(unsigned long start, unsigned long end)
|
|
|
{
|
|
|
- int pages = 0;
|
|
|
- for (; start < end; start += PAGE_SIZE) {
|
|
|
- ClearPageReserved(virt_to_page(start));
|
|
|
- init_page_count(virt_to_page(start));
|
|
|
- free_page(start);
|
|
|
- totalram_pages++;
|
|
|
- pages++;
|
|
|
- }
|
|
|
- pr_notice("Freeing initrd memory: %dk freed\n",
|
|
|
- (int)(pages * (PAGE_SIZE / 1024)));
|
|
|
+ free_reserved_area(start, end, 0, "initrd");
|
|
|
}
|
|
|
#endif
|
|
|
|
|
|
void free_initmem(void)
|
|
|
{
|
|
|
- free_init_pages("unused kernel memory",
|
|
|
- (unsigned long)(&__init_begin),
|
|
|
- (unsigned long)(&__init_end));
|
|
|
+ free_initmem_default(0);
|
|
|
}
|
|
|
|
|
|
void __init mem_init(void)
|