|
@@ -10,6 +10,7 @@
|
|
|
#include <linux/amba/clcd.h>
|
|
|
|
|
|
#include <asm/clkdev.h>
|
|
|
+#include <asm/pgtable.h>
|
|
|
#include <asm/hardware/arm_timer.h>
|
|
|
#include <asm/hardware/cache-l2x0.h>
|
|
|
#include <asm/hardware/gic.h>
|
|
@@ -236,7 +237,7 @@ static void ct_ca9x4_init(void)
|
|
|
}
|
|
|
|
|
|
MACHINE_START(VEXPRESS, "ARM-Versatile Express CA9x4")
|
|
|
- .phys_io = V2M_UART0,
|
|
|
+ .phys_io = V2M_UART0 & SECTION_MASK,
|
|
|
.io_pg_offst = (__MMIO_P2V(V2M_UART0) >> 18) & 0xfffc,
|
|
|
.boot_params = PHYS_OFFSET + 0x00000100,
|
|
|
.map_io = ct_ca9x4_map_io,
|