Signed-off-by: Atsushi Nemoto <anemo@mba.ocn.ne.jp>
Signed-off-by: Ralf Baechle <ralf@linux-mips.org>
 #include <asm/time.h>
 #include <asm/reboot.h>
 #include <asm/r4kcache.h>
+#include <asm/sections.h>
 #include <asm/txx9/generic.h>
 #include <asm/txx9/pci.h>
 #include <asm/txx9tmr.h>
 
 void __init prom_free_prom_memory(void)
 {
+       unsigned long saddr = PAGE_SIZE;
+       unsigned long eaddr = __pa_symbol(&_text);
+
+       if (saddr < eaddr)
+               free_init_pages("prom memory", saddr, eaddr);
 }
 
 const char *get_system_type(void)