platform_cpu_die() is entered from the CPU's own idle thread, which
can not be migrated to other CPUs.  Moreover, the 'cpu' argument
comes from the thread info, which will always be the 'current'
CPU.  So remove this useless bug check.
Signed-off-by: NRussell King <rmk+kernel@arm.linux.org.uk>

We always need to wait for the dying CPU to reach a safe state before
taking it down, irrespective of the requirements of the platform.
Move the completion code into the ARM SMP hotplug code rather than
having each platform re-implement this.
Signed-off-by: NRussell King <rmk+kernel@arm.linux.org.uk>

Consistently name all SMP platform related functions.
Signed-off-by: NRussell King <rmk+kernel@arm.linux.org.uk>

The MCR for flushing the whole D cache is undefined on ARMv7 CPUs.
Signed-off-by: NHarry Fearnhamm <Harry.Fearnhamm@arm.com>
Signed-off-by: NCatalin Marinas <catalin.marinas@arm.com>

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