|
void __init free_initrd_mem(unsigned long start, unsigned long end)
|
|
void __init free_initrd_mem(unsigned long start, unsigned long end)
|
|
free_reserved_area((void *)start, (void *)end, 0, "initrd");
|
|
free_reserved_area((void *)start, (void *)end, 0, "initrd");
|