| .. | .. |
|---|
| 26 | 26 | #include <linux/leds.h> |
|---|
| 27 | 27 | #include <linux/device.h> |
|---|
| 28 | 28 | #include <linux/slab.h> |
|---|
| 29 | +#include <linux/io.h> |
|---|
| 29 | 30 | #include <linux/irq.h> |
|---|
| 30 | 31 | #include <asm/bootinfo.h> |
|---|
| 31 | 32 | #include <asm/idle.h> |
|---|
| 32 | 33 | #include <asm/time.h> |
|---|
| 33 | 34 | #include <asm/reboot.h> |
|---|
| 34 | 35 | #include <asm/r4kcache.h> |
|---|
| 35 | | -#include <asm/sections.h> |
|---|
| 36 | 36 | #include <asm/setup.h> |
|---|
| 37 | 37 | #include <asm/txx9/generic.h> |
|---|
| 38 | 38 | #include <asm/txx9/pci.h> |
|---|
| .. | .. |
|---|
| 342 | 342 | |
|---|
| 343 | 343 | void __init prom_free_prom_memory(void) |
|---|
| 344 | 344 | { |
|---|
| 345 | | - unsigned long saddr = PAGE_SIZE; |
|---|
| 346 | | - unsigned long eaddr = __pa_symbol(&_text); |
|---|
| 347 | | - |
|---|
| 348 | | - if (saddr < eaddr) |
|---|
| 349 | | - free_init_pages("prom memory", saddr, eaddr); |
|---|
| 350 | 345 | } |
|---|
| 351 | 346 | |
|---|
| 352 | 347 | const char *get_system_type(void) |
|---|