|
@@ -335,14 +335,8 @@ static int keep_initrd;
|
|
|
|
|
|
void free_initrd_mem(unsigned long start, unsigned long end)
|
|
void free_initrd_mem(unsigned long start, unsigned long end)
|
|
{
|
|
{
|
|
- if (!keep_initrd) {
|
|
|
|
- if (start == initrd_start)
|
|
|
|
- start = round_down(start, PAGE_SIZE);
|
|
|
|
- if (end == initrd_end)
|
|
|
|
- end = round_up(end, PAGE_SIZE);
|
|
|
|
-
|
|
|
|
|
|
+ if (!keep_initrd)
|
|
free_reserved_area((void *)start, (void *)end, 0, "initrd");
|
|
free_reserved_area((void *)start, (void *)end, 0, "initrd");
|
|
- }
|
|
|
|
}
|
|
}
|
|
|
|
|
|
static int __init keepinitrd_setup(char *__unused)
|
|
static int __init keepinitrd_setup(char *__unused)
|