Signed-off-by: NRussell King <rmk+kernel@arm.linux.org.uk>

Move __io_address to arch-realview/hardware.h, drop core.h from platsmp.c
and localtimer.c, and include asm/io.h where required.
Signed-off-by: NRussell King <rmk+kernel@arm.linux.org.uk>

Add platform specific parts for hotplug CPU support for the
Realview board.
Signed-off-by: NRussell King <rmk+kernel@arm.linux.org.uk>

Add platform specific parts for local timer support for the
Realview board.
Signed-off-by: NRussell King <rmk+kernel@arm.linux.org.uk>

Signed-off-by: NRussell King <rmk+kernel@arm.linux.org.uk>

Until we have local timer support, we need to broadcast the
timer interrupt to the other CPUs.  Also, add the missing
smp_send_timer() prototype to asm/smp.h
Signed-off-by: NRussell King <rmk+kernel@arm.linux.org.uk>

Add SMP support for the MPcore tile fitted to the Realview ARM
platform.
Signed-off-by: NRussell King <rmk+kernel@arm.linux.org.uk>

Add uniprocessor support for Realview platform fitted with the
MPcore (SMP) tile.
Signed-off-by: NRussell King <rmk+kernel@arm.linux.org.uk>

Signed-off-by: NRussell King <rmk+kernel@arm.linux.org.uk>

3016/1 changed the map_desc structure to take a PFN instead of a
physical address.  Fixup Realview machine support for this change.
Signed-off-by: NRussell King <rmk+kernel@arm.linux.org.uk>

Signed-off-by: NRussell King <rmk+kernel@arm.linux.org.uk>

Support for RealView EB.
Signed-off-by: NCatalin Marinas <catalin.marinas@arm.com>
Signed-off-by: NRussell King <rmk+kernel@arm.linux.org.uk>