|
@@ -208,32 +208,17 @@ void __init mem_init(void)
|
|
|
highmemsize >> 10);
|
|
|
}
|
|
|
|
|
|
-void
|
|
|
-free_reserved_mem(void *start, void *end)
|
|
|
-{
|
|
|
- for (; start < end; start += PAGE_SIZE) {
|
|
|
- ClearPageReserved(virt_to_page(start));
|
|
|
- init_page_count(virt_to_page(start));
|
|
|
- free_page((unsigned long)start);
|
|
|
- totalram_pages++;
|
|
|
- }
|
|
|
-}
|
|
|
-
|
|
|
#ifdef CONFIG_BLK_DEV_INITRD
|
|
|
extern int initrd_is_mapped;
|
|
|
|
|
|
void free_initrd_mem(unsigned long start, unsigned long end)
|
|
|
{
|
|
|
- if (initrd_is_mapped) {
|
|
|
- free_reserved_mem((void*)start, (void*)end);
|
|
|
- printk ("Freeing initrd memory: %ldk freed\n",(end-start)>>10);
|
|
|
- }
|
|
|
+ if (initrd_is_mapped)
|
|
|
+ free_reserved_area(start, end, 0, "initrd");
|
|
|
}
|
|
|
#endif
|
|
|
|
|
|
void free_initmem(void)
|
|
|
{
|
|
|
- free_reserved_mem(__init_begin, __init_end);
|
|
|
- printk("Freeing unused kernel memory: %zuk freed\n",
|
|
|
- (__init_end - __init_begin) >> 10);
|
|
|
+ free_initmem_default(0);
|
|
|
}
|