|
@@ -32,6 +32,7 @@
|
|
|
#include <asm/leds.h>
|
|
|
#include <asm/mach-types.h>
|
|
|
#include <asm/pmu.h>
|
|
|
+#include <asm/pgtable.h>
|
|
|
#include <asm/hardware/gic.h>
|
|
|
#include <asm/hardware/cache-l2x0.h>
|
|
|
|
|
@@ -351,7 +352,7 @@ static void __init realview_pb1176_init(void)
|
|
|
|
|
|
MACHINE_START(REALVIEW_PB1176, "ARM-RealView PB1176")
|
|
|
/* Maintainer: ARM Ltd/Deep Blue Solutions Ltd */
|
|
|
- .phys_io = REALVIEW_PB1176_UART0_BASE,
|
|
|
+ .phys_io = REALVIEW_PB1176_UART0_BASE & SECTION_MASK,
|
|
|
.io_pg_offst = (IO_ADDRESS(REALVIEW_PB1176_UART0_BASE) >> 18) & 0xfffc,
|
|
|
.boot_params = PHYS_OFFSET + 0x00000100,
|
|
|
.fixup = realview_pb1176_fixup,
|